Poseidon: A New Hash Function for Zero-Knowledge Proof Systems

No abstract is available for this paper.

• Publication year

  2021

• Venue

  USENIX Security Symposium

• Publication date

  Unknown publication date

• Fields of study

  Mathematics, Computer Science

• Identifiers

  No identifiers available.

• External record

  Open on Semantic Scholar

• Source metadata

  Semantic Scholar

• No claims are published for this paper.

• No concepts are published for this paper.

• Algebraic cryptanalysis of POSEIDON

  2023cited by this paper
• The Legendre Symbol and the Modulo-2 Operator in Symmetric Schemes over Fnp Preimage Attack on Full Grendel

  2022cited by this paper
• Proving Resistance Against Infinitely Long Subspace Trails: How to Choose the Linear Layer

  2021cited by this paper
• Mind the Middle Layer: The HADES Design Strategy Revisited

  2020cited by this paper
• Design of Symmetric-Key Primitives for Advanced Cryptographic Protocols

  2020cited by this paper
• Out of Oddity - New Cryptanalytic Techniques against Symmetric Primitives Optimized for Integrity Proof Systems

  2020influential reference
• An Algebraic Attack on Ciphers with Low-Degree Round Functions: Application to Full MiMC

  2020cited by this paper
• Marlin: Preprocessing zkSNARKs with Universal and Updatable SRS

  2020influential reference
• Higher-Order Differentials of Word-Oriented SPN Schemes with Low-Degree S-Boxes

  2020cited by this paper
• On a Generalization of Substitution-Permutation Networks: The HADES Design Strategy

  2020cited by this paper
• Weak Linear Layers in Word-Oriented Partial SPN and HADES-Like Ciphers

  2020cited by this paper
• Weak Linear Layers in Word-Oriented Partial SPN and HADES-Like Schemes

  2020cited by this paper
• STARK Friendly Hash - Survey and Recommendation

  2020cited by this paper
• RedShift: Transparent SNARKs from List Polynomial Commitment IOPs

  2019influential reference
• PLONK: Permutations over Lagrange-bases for Oecumenical Noninteractive arguments of Knowledge

  2019cited by this paper
• Linear Equivalence of Block Ciphers with Partial Non-Linear Layers: Application to LowMC

  2019cited by this paper
• Sonic: Zero-Knowledge SNARKs from Linear-Size Universal and Updatable Structured Reference Strings

  2019cited by this paper
• Practical Collision Attacks against Round-Reduced SHA-3

  2019cited by this paper
• ETHEREUM: A SECURE DECENTRALISED GENERALISED TRANSACTION LEDGER

  2019influential reference
• Algebraic Cryptanalysis of STARK-Friendly Designs: Application to MARVELlous and MiMC

  2019cited by this paper
• Starkad and Poseidon: New Hash Functions for Zero Knowledge Proof Systems

  2019cited by this paper
• Scalable Zero Knowledge with No Trusted Setup

  2019influential reference
• Scalable, transparent, and post-quantum secure computational integrity

  2018cited by this paper
• Mixture Differential Cryptanalysis: a New Approach to Distinguishers and Attacks on round-reduced AES

  2018cited by this paper
• Bulletproofs: Short Proofs for Confidential Transactions and More

  2018influential reference
• MARVELlous: a STARK-Friendly Family of Cryptographic Primitives

  2018cited by this paper
• A New Structural-Differential Property of 5-Round AES

  2017cited by this paper
• Ligero: Lightweight Sublinear Arguments Without a Trusted Setup

  2017cited by this paper
• Proving Resistance Against Invariant Attacks: How to Choose the Round Constants

  2017cited by this paper
• Post-Quantum Zero-Knowledge and Signatures from Symmetric-Key Primitives

  2017cited by this paper
• Subspace Trail Cryptanalysis and its Applications to AES

  2017cited by this paper
• MPC-Friendly Symmetric Key Primitives

  2016cited by this paper
• On the Size of Pairing-Based Non-interactive Arguments

  2016influential reference
• ZKBoo: Faster Zero-Knowledge for Boolean Circuits

  2016cited by this paper
• MiMC: Efficient Encryption and Cryptographic Hashing with Minimal Multiplicative Complexity

  2016cited by this paper
• Ciphers for MPC and FHE

  2015cited by this paper
• Succinct Non-Interactive Zero Knowledge for a von Neumann Architecture

  2014cited by this paper
• ETHEREUM: A SECURE DECENTRALISED GENERALISED TRANSACTION LEDGER

  2014cited by this paper
• Multiple Limited-Birthday Distinguishers and Applications

  2013cited by this paper
• Pinocchio: Nearly Practical Verifiable Computation

  2013cited by this paper
• On The Distribution of Linear Biases: Three Instructive Examples

  2012cited by this paper
• Duplexing the sponge: single-pass authenticated encryption and other applications

  2011cited by this paper
• Higher-Order Differential Properties of Keccak and Luffa

  2011cited by this paper
• A Cryptanalysis of PRINTcipher: The Invariant Subspace Attack

  2011cited by this paper
• Constant-Size Commitments to Polynomials and Their Applications

  2010cited by this paper
• A Survey of the Elliptic Curve Integrated Encryption Scheme

  2010cited by this paper
• The Rebound Attack: Cryptanalysis of Reduced Whirlpool and Grøstl

  2009cited by this paper
• Introduction to Algorithms, third edition

  2009cited by this paper
• An Accumulator Based on Bilinear Maps and Efficient Revocation for Anonymous Credentials

  2009cited by this paper
• Rebound Distinguishers: Results on the Full Whirlpool Compression Function

  2009cited by this paper
• On the Indifferentiability of the Sponge Construction

  2008influential reference
• The Grain Family of Stream Ciphers

  2008influential reference
• Improving the algorithms of Berlekamp and Niederreiter for factoring polynomials over finite fields

  2007cited by this paper
• On the Design of Linear Transformations for Substitution Permutation Encryption Networks

  2007cited by this paper
• The Design of Rijndael: AES - The Advanced Encryption Standard

  2002cited by this paper
• Dynamic Accumulators and Application to Efficient Revocation of Anonymous Credentials

  2002cited by this paper
• The Wide Trail Design Strategy

  2001cited by this paper
• Cryptanalysis of Skipjack Reduced to 31 Rounds Using Impossible Differentials

  1999cited by this paper
• The Block Cipher Square

  1997cited by this paper
• The Interpolation Attack on Block Ciphers

  1997cited by this paper
• The Cipher SHARK

  1996cited by this paper
• Truncated and Higher Order Differentials

  1994cited by this paper
• Differentially Uniform Mappings for Cryptography

  1994cited by this paper
• Linear Cryptanalysis Method for DES Cipher

  1994cited by this paper
• Differential Cryptanalysis of the Data Encryption Standard

  1993cited by this paper
• Ideals, Varieties, and Algorithms: An Introduction to Computational Algebraic Geometry and Commutative Algebra

  1992cited by this paper
• Provable Security Against Differential Cryptanalysis

  1992cited by this paper
• Differential cryptanalysis of DES-like cryptosystems

  1990cited by this paper
• Asymptotic Behaviour of the Index of Regularity of Quadratic Semi-Regular Polynomial Systems

  year unknowncited by this paper
• Theory of Error-correcting Codes

  year unknowncited by this paper

• Security analysis of the P-SPN structure with a class of linear layer matrix against invariant subspace attack

  2026cites this paper
• Exponential Sums in Linear Cryptanalysis

  2026cites this paper
• Poseidon(2)b: Binary Field Versions of Poseidon/Poseidon2

  2026cites this paper
• Proof of exponentiation: enhanced prover efficiency for algebraic statements

  2026cites this paper
• Round-Optimal Pairing-Free Blind Signatures

  2026cites this paper
• Towards Practical Multi-Party Hash Chains using Arithmetization-Oriented Primitives - With Applications to Threshold Hash-Based Signatures

  2026cites this paper
• V3DB: Audit-on-Demand Zero-Knowledge Proofs for Verifiable Vector Search over Committed Snapshots

  2026cites this paper
• The Billion Dollar Merkle Tree

  2026cites this paper
• Qurrency: a quantum-secure, private, and auditable platform for digital assets

  2026cites this paper
• Data Matching in Unequal Worlds and Applications to Smart Contracts

  2026cites this paper
• FlexProofs: A Vector Commitment with Flexible Linear Time for Computing All Proofs

  2026cites this paper
• Concretely Efficient Blind Signatures Based on VOLE-in-the-Head Proofs and the MAYO Trapdoor

  2026cites this paper
• A novel hybrid quantum-classical proof-of-work protocol for Blockchain mining

  2026cites this paper
• zk-REAL: A Zero-Knowledge-Based Protocol for Repeated Image Edit Authenticity Proof With Lattice Hashing

  2026cites this paper
• Re2creds: Reusable Anonymous Credentials from Malleable NIZK and Legacy Signatures

  2026cites this paper
• Privacy-Preserving Proof of Human Authorship via Zero-Knowledge Process Attestation

  2026cites this paper
• Link Between the Differential Cryptanalysis and Linear Approximations over Finite Abelian Groups And Its Applications

  2026cites this paper
• Claiming bounties on small scale Poseidon and Poseidon2 instances using resultant-based algebraic attacks

  2026cites this paper
• The Algebraic CheapLunch: Extending FreeLunch Attacks on Arithmetization-Oriented Primitives Beyond CICO-1

  2025cites this paper
• zk-Cookies: Continuous Anonymous Authentication for the Web

  2025cites this paper
• Invariant Subspace of the P-SPN Structure with a Class of Linear Layer Matrix

  2025cites this paper
• UniZK: Accelerating Zero-Knowledge Proof with Unified Hardware and Flexible Kernel Mapping

  2025cites this paper
• Proof-of-Social-Capital: A Consensus Protocol Replacing Stake for Social Capital

  2025cites this paper
• B5GRoam: A Zero Trust Framework for Secure and Efficient On-Chain B5G Roaming

  2025cites this paper
• Fine-Grained Anonymous Access for Satellite Communication Using Zero Knowledge Proof

  2025cites this paper
• ExpProof : Operationalizing Explanations for Confidential Models with ZKPs

  2025cites this paper
• Graeffe-Based Attacks on Poseidon and NTT Lower Bounds

  2025cites this paper
• ALFOMs and the Moirai: Quantifying the Performance/Security Tradeoff for ZK-friendly Hash Functions

  2025influential citation
• Cryptographic Personas: Responsible Pseudonyms Without De-Anonymization

  2025cites this paper
• Federated Anonymous Blocklisting across Service Providers and its Application to Group Messaging

  2025cites this paper
• Constraint-Level Design of zkEVMs: Architectures, Trade-offs, and Evolution

  2025cites this paper
• Privacy-Preserving On-chain Permissioning for KYC-Compliant Decentralized Applications

  2025cites this paper
• Building Petitions on Public Blockchains: From Requirements to Implementations

  2025cites this paper
• Accelerating Post-quantum Secure zkSNARKs by Optimizing Additive FFT

  2025cites this paper
• Privacy-Preserving Petitions on Public Blockchains

  2025cites this paper
• Rayls: A Novel Design for CBDCs

  2025cites this paper
• PlasmaFold: An Efficient and Scalable Layer 2 with Client-Side Proving

  2025cites this paper
• Algebraic Cryptanalysis of AO Primitives Based on Polynomial Decomposition Applications to Rain and Full AIM-IIIIV

  2025cites this paper
• Combating Fake News with Cryptography in Quantum Era with Post-Quantum Verifiable Image Proofs

  2025cites this paper
• A Private Smart Wallet with Probabilistic Compliance

  2025cites this paper
• CoBBL: Dynamic Constraint Generation for SNARKs

  2025cites this paper
• TrafficProof: Privacy-Preserving Reliable Traffic Information Sharing in Social Internet of Vehicles

  2025cites this paper
• MTU: The Multifunction Tree Unit for Accelerating Zero-Knowledge Proofs

  2025cites this paper
• Verifiable Personalized Mutual-Learning based on Blockchain and zk-SNARK

  2025cites this paper
• Constraint-Friendly Map-to-Elliptic-Curve-Group Relations and Their Applications

  2025cites this paper
• Efficient Batch Opening Schemes for Merkle Tree Commitment with Applications to Trustless Cross-chain Bridge

  2025influential citation
• From Evaluation to Enhancement: Large Language Models for Zero-Knowledge Proof Code Generation

  2025cites this paper
• IVC in the Open-and-sign Random Oracle Model

  2025cites this paper
• Attacking Split-and-Lookup-Based Primitives Using Probabilistic Polynomial System Solving Applications to Round-Reduced Monolith and Full-Round Skyscraper

  2025cites this paper
• Leveraging Smaller Finite Fields for More Efficient ZK-Friendly Hash Functions

  2025cites this paper
• Skyscraper: Fast Hashing on Big Primes

  2025cites this paper
• Enhancing Democratic Processes: A Survey of DRE, Internet, and Blockchain in Electronic Voting Systems

  2025cites this paper
• Always by Your Side: Constructing Traceable Anonymous Credentials with Hardware-Binding

  2025cites this paper
• Gotta Hash ’Em All! Accelerating Hash Functions for Zero-Knowledge Proof Applications

  2025cites this paper
• Improved Resultant Attack against Arithmetization-Oriented Primitives

  2025cites this paper
• VIMz: Private Proofs of Image Manipulation using Folding-based zkSNARKs

  2025cites this paper
• Hash-Based Multi-Signatures for Post-Quantum Ethereum

  2025cites this paper
• zk-promises: Anonymous Moderation, Reputation, and Blocking from Anonymous Credentials with Callbacks

  2025cites this paper
• NTTproofs: A Maintainable and Aggregatable Vector Commitment With Fast Openings and Updates

  2025cites this paper
• DTL: Data Tumbling Layer A Composable Unlinkability for Smart Contracts

  2025cites this paper
• SNARKs for Stateful Computations on Authenticated Data

  2025cites this paper
• PVMark: Enabling Public Verifiability for LLM Watermarking Schemes

  2025cites this paper
• ZKP-FedEval: Verifiable and Privacy-Preserving Federated Evaluation using Zero-Knowledge Proofs

  2025cites this paper
• Rayls II: Fast, Private, and Compliant CBDCs

  2025cites this paper
• HydraProofs: Optimally Computing All Proofs in a Vector Commitment (With Applications to Efficient zkSNARKs Over Data from Multiple Users)

  2025cites this paper
• ALPACA: Anonymous Blocklisting with Constant-Sized Updatable Proofs

  2025cites this paper
• Polocolo: A ZK-Friendly Hash Function Based on S-boxes Using Power Residues (Full Version)

  2025influential citation
• Anonymous Self-Credentials and their Application to Single-Sign-On

  2025cites this paper
• zkFuzz: Foundation and Framework for Effective Fuzzing of Zero-Knowledge Circuits

  2025cites this paper
• VerITAS: Verifying Image Transformations at Scale

  2025cites this paper
• SoK: FHE-Friendly Symmetric Ciphers and Transciphering

  2025cites this paper
• ZKPoG: Accelerating WitGen-Incorporated End-to-End Zero-Knowledge Proof on GPU

  2025cites this paper
• Efficient Foreign-Field Arithmetic in PLONK

  2025cites this paper
• Efficient Proofs of Possession for Legacy Signatures

  2025cites this paper
• Generalized indifferentiable sponge and its application to Polygon Miden VM

  2025cites this paper
• SmartZKCP: Towards Practical Data Exchange Marketplace Against Active Attacks

  2025cites this paper
• Volatile and Persistent Memory for zkSNARKs via Algebraic Interactive Proofs

  2025cites this paper
• New Coefficient Grouping for Complex Affine Layers

  2025cites this paper
• Integral cryptanalysis in characteristic p

  2025cites this paper
• Breaking Poseidon Challenges with Graeffe Transforms and Complexity Analysis by FFT Lower Bounds

  2025cites this paper
• Burn Your Vote: Decentralized and Publicly Verifiable Anonymous Voting at Scale

  2025cites this paper
• Committed Vector Oblivious Linear Evaluation and Its Applications

  2025cites this paper
• A New Linear Distinguisher for Four-Round AES

  2025cites this paper
• Evaluating the Integration of Aurora Zksnark in the Zupply Framework

  2025cites this paper
• Eva: Efficient Privacy-Preserving Proof of Authenticity for Lossily Encoded Videos

  2025cites this paper
• Zero-Knowledge Proof-of-Location Protocols for Vehicle Subsidies and Taxation Compliance

  2025cites this paper
• Wrapless: The trustless lending protocol on top of Bitcoin

  2025cites this paper
• Accountable and Chargeable Anonymous Access for Multi-Operator Satellite Networks

  2025cites this paper
• Jigsaw: Doubly Private Smart Contracts

  2025cites this paper
• Cryptographic Data Exchange for Nuclear Warheads

  2025cites this paper
• Zinnia: An Expressive and Efficient Tensor-Oriented Zero-Knowledge Programming Framework

  2025cites this paper
• Zero-Trust and Reinforcement Learning for Secure Federated Intelligence in 6G Edge Networks

  2025cites this paper
• An Auditable Confidentiality Protocol for Blockchain Transactions

  2025cites this paper
• Efficient Privacy-Preserving Network Path Validation

  2025cites this paper
• Zero-Knowledge Proof Frameworks: A Systematic Survey

  2025cites this paper
• MProve-Nova: A Privacy-Preserving Proof of Reserves Protocol for Monero

  2025cites this paper
• AcclMT: A Highly Resource-Efficient and Flexible Poseidon Hash-Based Merkle Tree Architecture

  2025influential citation
• Proof-Carrying CRDTs allow Succinct Non-Interactive Byzantine Update Validation

  2025cites this paper
• MicroNova: Folding-Based Arguments with Efficient (On-Chain) Verification

  2025cites this paper
• Need for zkSpeed: Accelerating HyperPlonk for Zero-Knowledge Proofs

  2025cites this paper