\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
- \textsc{Fractal}: post-quantum and transparent recursive proofs from holography
- 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 approximate probabilistically checkable proofs
- Fast Reed-Solomon interactive oracle proofs of proximity
- 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?)
- 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
Cited in
(79)- Transparent SNARKs from DARK compilers
- Marlin: preprocessing zkSNARKs with universal and updatable SRS
- \textsc{Fractal}: post-quantum and transparent recursive proofs from holography
- Spartan: efficient and general-purpose zkSNARKs without trusted setup
- \textsf{Halo Infinite}: proof-carrying data from additive polynomial commitments
- Proof-carrying data without succinct arguments
- Sumcheck arguments and their applications
- An algebraic framework for universal and updatable SNARKs
- Time- and space-efficient arguments from groups of unknown order
- Preprocessing succinct non-interactive arguments for rank-1 constraint satisfiability from holographic proofs
- A PCP theorem for interactive proofs and applications
- Zero-knowledge IOPs with linear-time prover and polylogarithmic-time verifier
- On succinct non-interactive arguments in relativized worlds
- Gemini: elastic SNARKs for diverse environments
- On interactive oracle proofs for Boolean R1CS statements
- Zero knowledge proofs towards verifiable decentralized AI pipelines
- Witness-succinct universally-composable SNARKs
- Speed-stacking: fast sublinear zero-knowledge proofs for disjunctions
- Proof-carrying data from arithmetized random oracles
- On Valiant's conjecture. Impossibility of incrementally verifiable computation from random oracles
- Ligero: lightweight sublinear arguments without a trusted setup
- Succinct vector, polynomial, and functional commitments from lattices
- scientific article; zbMATH DE number 7746256 (Why is no real title available?)
- Batch arguments for \textsf{NP} and more from standard bilinear group assumptions
- NIZK from SNARGs
- 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
- Brakedown: linear-time and field-agnostic SNARKs for R1CS
- Lattice-based succinct arguments for NP with polylogarithmic-time verification
- \(\mathcal{Lunar}\): a toolbox for more efficient universal and updatable zkSNARKs and commit-and-prove extensions
- Proofs for inner pairing products and applications
- Lower bound on SNARGs in the random oracle model
- Orion: zero knowledge proof with linear prover time
- Nova: recursive zero-knowledge arguments from folding schemes
- On black-box constructions of time and space efficient sublinear arguments from symmetric-key primitives
- Scalable and transparent proofs over all large fields, via elliptic curves. ECFFT. II
- Fully succinct batch arguments for \textsf{NP} from indistinguishability obfuscation
- GUC-secure commitments via random oracles: new impossibility and feasibility
- Non-interactive zero-knowledge from non-interactive batch arguments
- Fiat-Shamir security of FRI and related SNARKs
- Polynomial IOPs for memory consistency checks in zero-knowledge virtual machines
- A simple and efficient framework of proof systems for NP
- Sigma protocols from verifiable secret sharing and their applications
- Generic security of the SAFE API and its applications
- Holographic SNARGs for P and batch-NP from (polynomially hard) learning with errors
- 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
- Loquat: a SNARK-friendly post-quantum signature based on the Legendre PRF with applications in ring and aggregate signatures
- Sometimes you can't distribute random-oracle-based proofs
- FRIDA: data availability sampling from FRI
- On soundness notions for interactive oracle proofs
- Polynomial commitments from lattices: post-quantum security, fast verification and transparent setup
- HyperNova: recursive arguments for customizable constraint systems
- How to prove statements obliviously?
- On the concrete security of non-interactive FRI
- BOIL: proof-carrying data from accumulation of correlated holographic IOPs
- Incrementally verifiable computation for NP from standard assumptions
- \textsf{LatticeFold+}: faster, simpler, shorter lattice-based folding for succinct proof systems
- \textsf{Zinc}: succinct arguments with small arithmetization overheads from IOPs of proximity to the integers
- \textsc{Arc}: accumulation for Reed-Solomon codes
- An information-sharing system that guarantees the authenticity and privacy of contributors
- Anonymous registered attribute-based signature for circuits
- Public-coin three-round zero-knowledge from learning with errors and keyless multi-collision-resistant hash
- Blaze: fast SNARKs from interleaved RAA codes
- Split prover zero-knowledge SNARKs
- Security bounds for proof-carrying data from straightline extractors
- HELIOPOLIS: verifiable computation over homomorphically encrypted data from interactive oracle proofs is practical
- Proofs for deep thought: accumulation for large memories and deterministic computations
- Ursa Minor: the implementation framework for Polaris
- Uni/multi variate polynomial embeddings for zkSNARKs
- Proximity gaps for Reed-Solomon codes
- Scalable zkSNARKs for matrix computations. A generic framework for verifiable deep learning
- IVC in the open-and-sign random oracle model
- Relativized succinct arguments in the ROM do not exist
- Title not available (Why is no real title available?)
- Title not available (Why is no real title available?)
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)
