\textsc{Fractal}: post-quantum and transparent recursive proofs from holography
From MaRDI portal
Publication:2055643
Recommendations
- Lattice-based SNARKs: publicly verifiable, preprocessing, and recursively composable (extended abstract)
- Marlin: preprocessing zkSNARKs with universal and updatable SRS
- Preprocessing succinct non-interactive arguments for rank-1 constraint satisfiability from holographic proofs
- Scalable zero knowledge via cycles of elliptic curves
- Scalable zero knowledge via cycles of elliptic curves
Cites work
- scientific article; zbMATH DE number 58312 (Why is no real title available?)
- scientific article; zbMATH DE number 559220 (Why is no real title available?)
- scientific article; zbMATH DE number 7650353 (Why is no real title available?)
- A taxonomy of pairing-friendly elliptic curves
- Algebraic methods for interactive proof systems
- Assignment Testers: Towards a Combinatorial Proof of the PCP Theorem
- Aurora: transparent succinct arguments for R1CS
- Cluster computing in zero knowledge
- Computationally Sound Proofs
- Constant-round interactive proofs for delegating computation
- Delegating computation: interactive proofs for muggles
- Fast Reed-Solomon interactive oracle proofs of proximity
- Fast approximate probabilistically checkable proofs
- Incrementally Verifiable Computation or Proofs of Knowledge Imply Time/Space Efficiency
- Interactive oracle proofs
- Interactive proofs of proximity: delegating computation in sublinear time
- Libra: succinct zero-knowledge proofs with optimal prover computation
- Linear-size constant-query IOPs for delegating computation
- Marlin: preprocessing zkSNARKs with universal and updatable SRS
- Non-interactive proofs of proximity
- On Cycles of Pairing-Friendly Elliptic Curves
- On the size of pairing-based non-interactive arguments
- Progression-free sets and sublinear pairing-based non-interactive zero-knowledge arguments
- Quadratic span programs and succinct NIZKs without PCPs
- Random oracles in a quantum world
- Recursive composition and bootstrapping for SNARKs and proof-carrying data
- Robust PCPs of Proximity, Shorter PCPs, and Applications to Coding
- Scalable zero knowledge via cycles of elliptic curves
- Scalable zero knowledge with no trusted setup
- Short pairing-based non-interactive zero-knowledge arguments
- Spartan: efficient and general-purpose zkSNARKs without trusted setup
- Succinct arguments in the quantum random oracle model
- Succinct non-interactive arguments via linear interactive proofs
- The random oracle methodology, revisited.
- UC-secure CRS generation for SNARKs
- Updatable and universal common reference strings with applications to zk-SNARKs
- \textsc{Fractal}: post-quantum and transparent recursive proofs from holography
Cited in
(57)- FRIDA: data availability sampling from FRI
- Sometimes you can't distribute random-oracle-based proofs
- On soundness notions for interactive oracle proofs
- HyperNova: recursive arguments for customizable constraint systems
- How to prove statements obliviously?
- Polynomial commitments from lattices: post-quantum security, fast verification and transparent setup
- On the concrete security of non-interactive FRI
- On Valiant's conjecture. Impossibility of incrementally verifiable computation from random oracles
- Fully succinct batch arguments for \textsf{NP} from indistinguishability obfuscation
- Preprocessing succinct non-interactive arguments for rank-1 constraint satisfiability from holographic proofs
- Non-interactive zero-knowledge from non-interactive batch arguments
- Zero knowledge proofs towards verifiable decentralized AI pipelines
- On black-box constructions of time and space efficient sublinear arguments from symmetric-key primitives
- \textsf{Halo Infinite}: proof-carrying data from additive polynomial commitments
- An algebraic framework for universal and updatable SNARKs
- Proof-carrying data without succinct arguments
- scientific article; zbMATH DE number 7746256 (Why is no real title available?)
- \textsc{Fractal}: post-quantum and transparent recursive proofs from holography
- Transparent SNARKs from DARK compilers
- Holographic SNARGs for P and batch-NP from (polynomially hard) learning with errors
- \(\mathcal{Lunar}\): a toolbox for more efficient universal and updatable zkSNARKs and commit-and-prove extensions
- Loquat: a SNARK-friendly post-quantum signature based on the Legendre PRF with applications in ring and aggregate signatures
- Brakedown: linear-time and field-agnostic SNARKs for R1CS
- Lattice-based succinct arguments for NP with polylogarithmic-time verification
- Nova: recursive zero-knowledge arguments from folding schemes
- Orion: zero knowledge proof with linear prover time
- Time- and space-efficient arguments from groups of unknown order
- Scalable and transparent proofs over all large fields, via elliptic curves. ECFFT. II
- Proof-carrying data from arithmetized random oracles
- Witness-succinct universally-composable SNARKs
- GUC-secure commitments via random oracles: new impossibility and feasibility
- Ligero: lightweight sublinear arguments without a trusted setup
- Lower bound on SNARGs in the random oracle model
- NIZK from SNARGs
- Efficient KZG-based univariate sum-check and lookup argument
- Concurrently secure blind Schnorr signatures
- Succinct functional commitments for circuits from \(k\)-\textsf{Lin}
- SLAP: succinct lattice-based polynomial commitments from standard assumptions
- Sumcheck arguments and their applications
- A PCP theorem for interactive proofs and applications
- Spartan: efficient and general-purpose zkSNARKs without trusted setup
- Succinct vector, polynomial, and functional commitments from lattices
- Flashproofs: efficient zero-knowledge arguments of range and polynomial evaluation with transparent setup
- Efficient zero-knowledge arguments in discrete logarithm setting: sublogarithmic proof or sublinear verifier
- Inner product functional commitments with constant-size public parameters and openings
- Speed-stacking: fast sublinear zero-knowledge proofs for disjunctions
- Batch arguments for \textsf{NP} and more from standard bilinear group assumptions
- Proofs for inner pairing products and applications
- On interactive oracle proofs for Boolean R1CS statements
- A simple and efficient framework of proof systems for NP
- Fiat-Shamir security of FRI and related SNARKs
- Generic security of the SAFE API and its applications
- Polynomial IOPs for memory consistency checks in zero-knowledge virtual machines
- Sigma protocols from verifiable secret sharing and their applications
- Gemini: elastic SNARKs for diverse environments
- On succinct non-interactive arguments in relativized worlds
- Zero-knowledge IOPs with linear-time prover and polylogarithmic-time verifier
This page was built for publication: \textsc{Fractal}: post-quantum and transparent recursive proofs from holography
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2055643)
