Reinforced Concrete: Fast Hash Function for Zero Knowledge Proofs and Verifiable Computation

No abstract is available for this paper.

• Publication year

  2021

• Venue

  IACR Cryptology ePrint Archive

• 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.

• Proving Resistance Against Infinitely Long Subspace Trails: How to Choose the Linear Layer

  2021cited by this paper
• Poseidon: A New Hash Function for Zero-Knowledge Proof Systems

  2021cited by this paper
• Rescue-Prime: a Standard Specification (SoK)

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

  2020cited by this paper
• Halo Infinite: Recursive zk-SNARKs from any Additive Polynomial Commitment Scheme

  2020cited by this paper
• plookup: A simplified polynomial protocol for lookup tables

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

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

  2020cited by this paper
• An Algebraic Attack on Ciphers with Low-Degree Round Functions: Application to Full MiMC

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

  2020cited by this paper
• Algebraic Cryptanalysis of STARK-Friendly Designs: Application to MARVELlous and MiMC

  2019cited by this paper
• Aurora: Transparent Succinct Arguments for R1CS

  2019cited by this paper
• Feistel Structures for MPC, and More

  2019cited by this paper
• PLONK: Permutations over Lagrange-bases for Oecumenical Noninteractive arguments of Knowledge

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

  2018cited by this paper
• 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
• Subspace Trail Cryptanalysis and its Applications to AES

  2017cited by this paper
• Fast Reed-Solomon Interactive Oracle Proofs of Proximity

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

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

  2016cited by this paper
• A Generic Approach to Invariant Subspace Attacks: Cryptanalysis of Robin, iSCREAM and Zorro

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

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

  2013cited by this paper
• Zero Correlation Linear Cryptanalysis with Reduced Data Complexity

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

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

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

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

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

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

  2008cited by this paper
• Linear Cryptanalysis of Non Binary Ciphers

  2007cited by this paper
• Improving the algorithms of Berlekamp and Niederreiter for factoring polynomials over finite fields

  2007cited by this paper
• An Analysis of the XSL Algorithm

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

  2002cited by this paper
• Cryptanalysis of Block Ciphers with Overdefined Systems of Equations

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

  1999cited by this paper
• The Boomerang Attack

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

  1997cited by this paper
• The Block Cipher Square

  1997cited by this paper
• Higher Order Derivatives and Differential Cryptanalysis

  1994cited by this paper
• Communications and Cryptography: Two Sides of One Tapestry

  1994cited by this paper
• Truncated and Higher Order Differentials

  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
• 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

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

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

  2025cites this paper
• A Zero-Dimensional Gröbner Basis for Poseidon

  2024cites this paper
• Zero-Knowledge Validation for an Offline Electronic Document Wallet using Bulletproofs

  2024cites this paper
• Arithmetization-oriented Apn Functions

  2023cites this paper
• Horst Meets Fluid-SPN: Griffin for Zero-Knowledge Applications

  2023influential citation
• New Design Techniques for Efficient Arithmetization-Oriented Hash Functions: ttAnemoi Permutations and ttJive Compression Mode

  2023cites this paper
• Vortex : Building a Lattice-based SNARK scheme with Transparent Setup

  2022cites this paper
• HyperPlonk: Plonk with Linear-Time Prover and High-Degree Custom Gates

  2022cites this paper
• A New Feistel Approach Meets Fluid-SPN: Griffin for Zero-Knowledge Applications

  2022influential citation
• New optimization techniques for P lon K ’s arithmetization

  2022cites this paper
• Anemoi: Exploiting the Link between Arithmetization-Orientation and CCZ-Equivalence

  2022cites this paper
• Weak Bijective Quadratic Functions over 픽pn

  2022cites this paper
• Generalized Triangular Dynamical System: An Algebraic System for Constructing Cryptographic Permutations over Finite Fields

  2022cites this paper
• An Algebraic System for Constructing Cryptographic Permutations over Finite Fields

  2022cites this paper
• Linea Prover Documentation

  year unknowncites this paper