Spartan: efficient and general-purpose zkSNARKs without trusted setup
From MaRDI portal
Publication:2104239
Recommendations
Cites work
- \textsc{Fractal}: post-quantum and transparent recursive proofs from holography
- Addendum to: Non-deterministic exponential time has two-prower interactive protocols
- Algebraic methods for interactive proof systems
- Aurora: transparent succinct arguments for R1CS
- Checking the correctness of memories
- Constant-round interactive proofs for delegating computation
- Constant-Size Commitments to Polynomials and Their Applications
- Decaf: eliminating cofactors through point compression
- Efficient zero-knowledge arguments for arithmetic circuits in the discrete log setting
- Fast reductions from RAMs to delegatable succinct constraint satisfaction problems
- From extractable collision resistance to succinct non-interactive arguments of knowledge, and back again
- How Efficient Can Memory Checking Be?
- How To Prove Yourself: Practical Solutions to Identification and Signature Problems
- scientific article; zbMATH DE number 5485433 (Why is no real title available?)
- scientific article; zbMATH DE number 5485522 (Why is no real title available?)
- scientific article; zbMATH DE number 1302863 (Why is no real title available?)
- scientific article; zbMATH DE number 1559516 (Why is no real title available?)
- scientific article; zbMATH DE number 4185024 (Why is no real title available?)
- Incremental multiset hash functions and their application to memory integrity checking
- Interactive oracle proofs
- Interactive proofs and the hardness of approximating cliques
- Libra: succinct zero-knowledge proofs with optimal prover computation
- Minimum disclosure proofs of knowledge
- On the concrete efficiency of probabilistically-checkable proofs
- On the size of pairing-based non-interactive arguments
- Pinocchio
- Practical verified computation with streaming interactive proofs
- Probabilistic checking of proofs
- Progression-free sets and sublinear pairing-based non-interactive zero-knowledge arguments
- Proof verification and the hardness of approximation problems
- Quadratic span programs and succinct NIZKs without PCPs
- Scalable zero knowledge via cycles of elliptic curves
- Scalable zero knowledge with no trusted setup
- Separating succinct non-interactive arguments from all falsifiable assumptions
- Short pairing-based non-interactive zero-knowledge arguments
- Short PCPs with Polylog Query Complexity
- Signatures of correct computation
- Simple PCPs with poly-log rate and query complexity
- Snarks for C: verifying program executions succinctly and in zero knowledge
- Spartan: efficient and general-purpose zkSNARKs without trusted setup
- Succinct non-interactive arguments via linear interactive proofs
- The PCP theorem by gap amplification
- Time-optimal interactive proofs for circuit evaluation
- Transparent SNARKs from DARK compilers
- Updatable and universal common reference strings with applications to zk-SNARKs
- Zero-knowledge proofs on secret-shared data via fully linear PCPs
Cited in
(only showing first 100 items - show all)- 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
- TurboIKOS: improved non-interactive zero knowledge and post-quantum signatures
- Threshold Schnorr with stateless deterministic signing from standard assumptions
- \textsf{Halo Infinite}: proof-carrying data from additive polynomial commitments
- Sumcheck arguments and their applications
- An algebraic framework for universal and updatable SNARKs
- Time- and space-efficient arguments from groups of unknown order
- Non-interactive batch arguments for NP from standard assumptions
- BooLigero: improved sublinear zero knowledge proofs for Boolean circuits
- Preprocessing succinct non-interactive arguments for rank-1 constraint satisfiability from holographic proofs
- Zero-knowledge IOPs with linear-time prover and polylogarithmic-time verifier
- Gemini: elastic SNARKs for diverse environments
- Aurora: transparent succinct arguments for R1CS
- Dory: efficient, transparent arguments for generalised inner products and polynomial commitments
- \textsf{ECLIPSE}: enhanced compiling method for Pedersen-committed zkSNARK engines
- SPARKs: Succinct Parallelizable Arguments of Knowledge
- Spartan
- SnarkPack: practical SNARK aggregation
- On interactive oracle proofs for Boolean R1CS statements
- HyperPlonk: Plonk with linear-time prover and high-degree custom gates
- Spartan and bulletproofs are simulation-extractable (for free!)
- Ligero: lightweight sublinear arguments without a trusted setup
- Private polynomial commitments and applications to MPC
- scientific article; zbMATH DE number 7746256 (Why is no real title available?)
- Batch arguments for \textsf{NP} and more from standard bilinear group assumptions
- 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
- Efficient proof of RAM programs from any public-coin zero-knowledge system
- Inner product functional commitments with constant-size public parameters and openings
- Short-lived zero-knowledge proofs and signatures
- Non-interactive zero-knowledge proofs to multiple verifiers
- Brakedown: linear-time and field-agnostic SNARKs for R1CS
- Hierarchical integrated signature and encryption. (or: key separation vs. key reuse: enjoy the best of both worlds)
- \(\mathcal{Lunar}\): a toolbox for more efficient universal and updatable zkSNARKs and commit-and-prove extensions
- Proofs for inner pairing products and applications
- Succinct publicly-certifiable proofs. Or, can a blockchain verify a designated-verifier proof?
- 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
- Fully succinct batch arguments for \textsf{NP} from indistinguishability obfuscation
- Non-interactive zero-knowledge from non-interactive batch arguments
- \texttt{Horst} meets \textit{Fluid}-SPN: Griffin for zero-knowledge applications
- Algebraic reductions of knowledge
- Distilling Constraints in Zero-Knowledge Protocols
- Efficient transparent polynomial commitments for zk-SNARKs
- 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
- Towards zero knowledge argument for double discrete logarithm with constant cost
- \textsf{Testudo}: linear time prover SNARKs with constant size proofs and square root size universal setup
- eSTARK: extending STARKs with arguments
- Simulation-extractable KZG polynomial commitments and applications to HyperPlonk
- Lookup arguments: improvements, extensions and applications to zero-knowledge decision trees
- Efficient KZG-based univariate sum-check and lookup argument
- Concurrently secure blind Schnorr signatures
- Public-coin, complexity-preserving, succinct arguments of knowledge for NP from collision-resistance
- \textsf{Jolt}: SNARKs for virtual machines via lookups
- Unlocking the lookup singularity with \textsf{Lasso}
- \textsc{Zeromorph}: zero-knowledge multilinear-evaluation proofs from homomorphic univariate commitments
- More efficient zero-knowledge protocols over \(\mathbb{Z}_{2^k}\) via Galois rings
- On soundness notions for interactive oracle proofs
- Zero-knowledge IOPs approaching witness length
- Polymath: Groth16 is not the limit
- Field-agnostic SNARKs from expand-accumulate codes
- Mangrove: a scalable framework for folding-based SNARKs
- HyperNova: recursive arguments for customizable constraint systems
- How to prove statements obliviously?
- Succinct non-subsequence arguments
- zk-Bench: a toolset for comparative evaluation and performance benchmarking of SNARKs
- Verifiable computation for approximate homomorphic encryption schemes
- Universally composable SNARKs with transparent setup without programmable random oracle
- Straight-line knowledge extraction for multi-round protocols
- Foundations of platform-assisted auctions
- On extractability of the KZG family of polynomial commitment schemes
- DewTwo: a transparent PCS with quasi-linear prover, logarithmic verifier and 4.5KB proofs from falsifiable assumptions
- Polynomial commitments for Galois rings and applications to SNARKs over \(\mathbb{Z}_{2^k}\)
- The complexity of memory checking with covert security
- SNARKs for virtual machines are non-malleable
- Blaze: fast SNARKs from interleaved RAA codes
- Succinct arguments over towers of binary fields
- Permutation argument via bases transformation
- CCNOVZKP: convolutional neural network model ownership verification with zero-knowledge proof
- Transparent SNARKs over Galois rings
- Split prover zero-knowledge SNARKs
- Interactive line-point zero-knowledge with sublinear communication and linear computation
- MuxProofs: succinct arguments for machine computation from vector lookups
- Memory checking requires logarithmic overhead
- Ursa Minor: the implementation framework for Polaris
- \textit{Ceno}: non-uniform, segment and parallel zero-knowledge virtual machine
- Natively compatible super-efficient lookup arguments and how to apply them
- Uni/multi variate polynomial embeddings for zkSNARKs
- Towards scalable YOSO MPC via packed secret-sharing
- Scalable zkSNARKs for matrix computations. A generic framework for verifiable deep learning
- A crack in the firmament: restoring soundness of the Orion proof system and more
- BrakingBase -- a linear prover, poly-logarithmic verifier, field agnostic polynomial commitment scheme
- Samaritan: linear-time prover SNARK from new multilinear polynomial commitments
Describes a project that uses
Uses Software
This page was built for publication: Spartan: efficient and general-purpose zkSNARKs without trusted setup
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2104239)
