Algebraic Cryptanalysis of STARK-Friendly Designs: Application to MARVELlous and MiMC

No abstract is available for this paper.

• Publication year

  2019

• Venue

  IACR Cryptology ePrint Archive

• Publication date

  2019-12-08

• Fields of study

  Mathematics, Computer Science

• Identifiers
  DOI 10.1007/978-3-030-34618-8_13
• External record

  Open on Semantic Scholar

• Source metadata

  Semantic Scholar

• No claims are published for this paper.

• No concepts are published for this paper.

• Design of Symmetric-Key Primitives for Advanced Cryptographic Protocols

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

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

  2019cited by this paper
• Efficient Symmetric Primitives for Advanced Cryptographic Protocols (A Marvellous Contribution)

  2019cited by this paper
• MARVELlous: a STARK-Friendly Family of Cryptographic Primitives

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

  2018cited by this paper
• Scalable, transparent, and post-quantum secure computational integrity

  2018cited 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
• Algebraic Algorithms for LWE

  2015cited by this paper
• A Polynomial-Time Key-Recovery Attack on MQQ Cryptosystems

  2015cited by this paper
• Algebraic Attack against Variants of McEliece with Goppa Polynomial of a Special Form

  2014cited by this paper
• Zerocash: Decentralized Anonymous Payments from Bitcoin

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

  2013cited by this paper
• Solving polynomial systems over finite fields: improved analysis of the hybrid approach

  2012cited by this paper
• A distinguisher for high rate McEliece cryptosystems

  2011cited by this paper
• Algebraic Techniques in Differential Cryptanalysis Revisited

  2011cited by this paper
• Fast algorithm for change of ordering of zero-dimensional Gröbner bases with sparse multiplication matrices

  2011cited by this paper
• New Algorithms for Learning in Presence of Errors

  2011cited by this paper
• Algebraic Techniques in Differential Cryptanalysis

  2009cited by this paper
• Speeding up Collision Search for Byte-Oriented Hash Functions

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

  2007cited by this paper
• Algebraic Cryptanalysis of the Data Encryption Standard

  2007cited by this paper
• A Zero-Dimensional Gröbner Basis for AES-128

  2006cited by this paper
• Fast Algebraic Attacks on Stream Ciphers with Linear Feedback

  2003cited by this paper
• Algebraic Attacks on Stream Ciphers with Linear Feedback

  2003cited by this paper
• Essential Algebraic Structure within the AES

  2002cited by this paper
• Higher Order Correlation Attacks, XL Algorithm and Cryptanalysis of Toyocrypt

  2002cited by this paper
• A new efficient algorithm for computing Gröbner bases without reduction to zero (F5)

  2002cited by this paper
• Computational Commutative Algebra 1

  2000cited by this paper
• A new efficient algorithm for computing Gröbner bases (F4)

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

  1997cited by this paper
• The Magma Algebra System I: The User Language

  1997cited by this paper
• Finite fields: Author Index

  1996cited by this paper
• Truncated and Higher Order Differentials

  1994cited by this paper
• Efficient Computation of Zero-Dimensional Gröbner Bases by Change of Ordering

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

  1992cited by this paper
• An inequality for Hilbert series of graded algebras.

  1985cited by this paper
• Fast evaluation and interpolation

  1973cited by this paper
• A Fast Method for Interpolation Using Preconditioning

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

  year unknowncited by this paper

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

  2025cites this paper
• On the Security of Split-and-Lookup-Based ZK-Friendly Primitives

  2025cites this paper
• Improved Upper Bound of Algebraic Degrees for Some Arithmetization-Oriented Ciphers

  2025cites this paper
• A Note on the Walsh Spectrum of Power Residue S-Boxes

  2025cites this paper
• YuS: A FHE-Friendly Stream Cipher Based on New Quadratic Permutations

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

  2025cites this paper
• Shortcut2Secrets: A Table-based Differential Fault Attack Framework

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

  2025cites this paper
• On generalizations of the Lai–Massey scheme

  2025cites this paper
• Quantum Permutation Pad for Quantum Secure Symmetric and Asymmetric Cryptography

  2025cites this paper
• High Exponents May Not Suffice to Patch AIM （On Attacks, Weak Parameters, and Patches for AIM2）

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

  2025cites this paper
• YuX: Finite Field Multiplication Based Block Ciphers for Efficient FHE Evaluation

  2024influential citation
• Benchmarking ZK-Friendly Hash Functions and SNARK Proving Systems for EVM-compatible Blockchains

  2024cites this paper
• The Algebraic FreeLunch: Efficient Gröbner Basis Attacks Against Arithmetization-Oriented Primitives

  2024cites this paper
• Tethering Layer 2 solutions to the blockchain: A survey on proving schemes

  2024cites this paper
• A New Security Evaluation Method Based on Resultant for Arithmetic-Oriented Algorithms

  2024cites this paper
• Modelling Ciphers with Overdefined Systems of Quadratic Equations: Application to Friday, Vision, RAIN and Biscuit

  2024cites this paper
• Gröbner Basis Cryptanalysis of Ciminion and Hydra

  2024cites this paper
• Concurrently Secure Blind Schnorr Signatures

  2024cites this paper
• The Algebraic Freelunch Efficient Gröbner Basis Attacks Against Arithmetization-Oriented Primitives

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

  2024cites this paper
• Extreme Algebraic Attacks

  2024cites this paper
• Algebraic Cryptanalysis of the HADES Design Strategy: Application to Poseidon and Poseidon2

  2024cites this paper
• Monolith: Circuit-Friendly Hash Functions with New Nonlinear Layers for Fast and Constant-Time Implementations

  2024cites this paper
• AIM: Symmetric Primitive for Shorter Signatures with Stronger Security

  2023cites this paper
• The Legendre pseudorandom function as a multivariate quadratic cryptosystem: security and applications

  2023cites this paper
• SAT Solving Using XOR-OR-AND Normal Forms

  2023cites this paper
• Algebraic Attacks on RAIN and AIM Using Equivalent Representations

  2023cites this paper
• Algebraic Attacks on Round-Reduced RAIN and Full AIM-III

  2023cites this paper
• Solving Degree Bounds For Iterated Polynomial Systems

  2023cites this paper
• Algebraic Cryptanalysis of HADES Design Strategy: Application to POSEIDON and Poseidon2

  2023cites this paper
• Algebraic Cryptanalysis of Full Ciminion

  2023cites this paper
• A lower bound for differential uniformity by multiplicative complexity & bijective functions of multiplicative complexity 1 over finite fields

  2023cites this paper
• Bounded Surjective Quadratic Functions over Fnp for MPC-/ZK-/FHE-Friendly Symmetric Primitives

  2023cites this paper
• Cryptanalysis of Symmetric Primitives over Rings and a Key Recovery Attack on Rubato

  2023cites this paper
• Coefficient Grouping for Complex Affine Layers

  2023influential citation
• Algebraic cryptanalysis of POSEIDON

  2023cites this paper
• Poseidon2: A Faster Version of the Poseidon Hash Function

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

  2023cites this paper
• Propagation of Subspaces in Primitives with Monomial Sboxes: Applications to Rescue and Variants of the AES

  2023cites this paper
• Algebraic-Differential Attacks on a Family of Arithmetization-Oriented Symmetric Ciphers

  2023cites this paper
• Algebraic Attacks against Some Arithmetization-Oriented Primitives

  2022cites this paper
• Shorter Signatures Based on Tailor-Made Minimalist Symmetric-Key Crypto

  2022cites this paper
• Gröbner Basis Attack on STARK-Friendly Symmetric-Key Primitives: JARVIS, MiMC and GMiMCerf

  2022influential citation
• Algebraic Meet-in-the-Middle Attack on LowMC

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

  2022influential citation
• Influence of the Linear Layer on the Algebraic Degree in SP-Networks

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

  2022cites this paper
• On Succinct Non-Interactive Arguments in Relativized Worlds

  2022cites this paper
• On the algebraic degree of iterated power functions

  2022cites this paper
• The Inverse of χ\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\chi $$\end{document} and Its Applications to Rasta-Li

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

  2022cites this paper
• Reinforced Concrete: A Fast Hash Function for Verifiable Computation

  2022cites this paper
• A Signature-Based Gröbner Basis Algorithm with Tail-Reduced Reductors (M5GB)

  2022cites this paper
• Coefficient Grouping: Breaking Chaghri and More

  2022influential citation
• Decentralized platforms: Goals, challenges, and solutions

  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
• (Concurrently Secure) Blind Schnorr from Schnorr

  2022cites this paper
• Algebraic Attacks on Rasta and Dasta Using Low-Degree Equations

  2021cites this paper
• Ciminion: Symmetric Encryption Based on Toffoli-Gates over Large Finite Fields

  2021influential citation
• MOE: Multiplication Operated Encryption with Trojan Resilience

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

  2021cites this paper
• Privacy-enhancing distributed protocol for data aggregation based on blockchain and homomorphic encryption

  2021cites this paper
• Interpolation Cryptanalysis of Unbalanced Feistel Networks with Low Degree Round Functions

  2021influential citation
• Reinforced Concrete: Fast Hash Function for Zero Knowledge Proofs and Verifiable Computation

  2021cites this paper
• The Legendre Symbol and the Modulo-2 Operator in Symmetric Schemes over (F_p)^n

  2021cites this paper
• SoK: Gröbner Basis Algorithms for Arithmetization Oriented Ciphers

  2021cites this paper
• Algebraic Degree of Strong-Aligned SP-Networks with Low-Degree and Large S-Boxes

  2021cites this paper
• Algebraic Analysis of a Simplified Encryption Algorithm GOST R 34.12-2015

  2020cites this paper
• Prelude to Marvellous (With the Designers' Commentary, Two Bonus Tracks, and a Foretold Prophecy)

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

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

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

  2020cites this paper
• Lift-and-Shift: Obtaining Simulation Extractable Subversion and Updatable SNARKs Generically

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

  2020cites this paper
• Boolean Polynomials, BDDs and CRHS Equations - Connecting the Dots with CryptaPath

  2020cites this paper
• Algebraic Cryptanalysis of O'zDSt 1105:2009 Encryption Algorithm

  2020cites this paper
• Masta: An HE-Friendly Cipher Using Modular Arithmetic

  2020cites this paper
• Report on the Security of STARK-friendly Hash Functions (Version 2.0)

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

  2020cites this paper
• MuSig-DN: Schnorr Multi-Signatures with Verifiably Deterministic Nonces

  2020cites this paper
• Cryptanalysis of Full LowMC and LowMC-M with Algebraic Techniques

  2020cites this paper
• STARK Friendly Hash - Survey and Recommendation

  2020influential citation
• SoK: Lifting Transformations for Simulation Extractable Subversion and Updatable SNARKs

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

  2020cites this paper
• Fractal: Post-Quantum and Transparent Recursive Proofs from Holography

  2020cites this paper
• Starkad and Poseidon: New Hash Functions for Zero Knowledge Proof Systems

  2019cites this paper
• On the Impossibility of Probabilistic Proofs in Relativized Worlds

  2019cites this paper
• Improved Interpolation Attacks on Cryptographic Primitives of Low Algebraic Degree

  2019cites this paper