Succinct non-interactive arguments via linear interactive proofs
From MaRDI portal
Publication:4910285
Recommendations
- Succinct non-interactive arguments via linear interactive proofs
- Quasi-optimal SNARGs via linear multi-prover interactive proofs
- On succinct arguments and witness encryption from groups
- On the size of pairing-based non-interactive arguments
- Succinct arguments from multi-prover interactive proofs and their efficiency benefits
Cited in
(78)- On succinct arguments and witness encryption from groups
- Practical witness-key-agreement for blockchain-based dark pools financial trading
- Shorter arithmetization of nondeterministic computations
- Lattice-based SNARGs and their application to more efficient obfuscation
- Preprocessing succinct non-interactive arguments for rank-1 constraint satisfiability from holographic proofs
- A more efficient leveled strongly-unforgeable fully homomorphic signature scheme
- Zero-knowledge succinct non-interactive arguments of knowledge based on sets of polynomials
- Multikey fully homomorphic encryption and applications
- SnarkPack: practical SNARK aggregation
- What makes Fiat-Shamir zkSNARKs (updatable SRS) simulation extractable?
- Rational sumchecks
- TurboIKOS: improved non-interactive zero knowledge and post-quantum signatures
- Updateable Inner Product Argument with Logarithmic Verifier and Applications
- Linear-time arguments with sublinear verification from tensor codes
- The hunting of the SNARK
- \textsf{Halo Infinite}: proof-carrying data from additive polynomial commitments
- Subquadratic SNARGs in the random oracle model
- Sublinear zero-knowledge arguments for RAM programs
- On the (in)security of SNARKs in the presence of oracles
- Interactive oracle proofs
- Fine-grained secure computation
- Succinct publicly-certifiable proofs. Or, can a blockchain verify a designated-verifier proof?
- Scalable zero knowledge via cycles of elliptic curves
- \textsc{Fractal}: post-quantum and transparent recursive proofs from holography
- Transparent SNARKs from DARK compilers
- Succinct arguments in the quantum random oracle model
- On the (In)security of Kilian-based SNARGs
- How to build time-lock encryption
- Quasi-optimal SNARGs via linear multi-prover interactive proofs
- Succinct non-interactive arguments via linear interactive proofs
- Marlin: preprocessing zkSNARKs with universal and updatable SRS
- An efficient identity tracing scheme for blockchain-based systems
- On the black-box use of somewhat homomorphic encryption in noninteractive two-party protocols
- HyperPlonk: Plonk with linear-time prover and high-degree custom gates
- Ligero: lightweight sublinear arguments without a trusted setup
- Lower bound on SNARGs in the random oracle model
- Verifiable Computation and Succinct Arguments for NP
- \textsf{ECLIPSE}: enhanced compiling method for Pedersen-committed zkSNARK engines
- No-signaling linear PCPs
- Spartan: efficient and general-purpose zkSNARKs without trusted setup
- On the existence of extractable one-way functions
- Delegating RAM Computations
- Succinct non-interactive secure computation
- Rinocchio: SNARKs for ring arithmetic
- A unified framework for non-universal SNARKs
- BooLigero: improved sublinear zero knowledge proofs for Boolean circuits
- Batch arguments for \textsf{NP} and more from standard bilinear group assumptions
- No-signaling linear PCPs
- Secure multiparty computation with sublinear preprocessing
- Computational integrity with a public random string from quasi-linear PCPs
- Succinct arguments from multi-prover interactive proofs and their efficiency benefits
- Asymptotically quasi-optimal cryptography
- On succinct non-interactive arguments in relativized worlds
- SNARGs for P from sub-exponential DDH and QR
- Zero-knowledge IOPs with linear-time prover and polylogarithmic-time verifier
- Constant-round interactive proofs for delegating computation
- Fully succinct batch arguments for \textsf{NP} from indistinguishability obfuscation
- \textsf{Orbweaver}: succinct linear functional commitments from lattices
- Non-interactive zero-knowledge from non-interactive batch arguments
- Non-interactive publicly-verifiable delegation of committed programs
- \(\mathcal{Lunar}\): a toolbox for more efficient universal and updatable zkSNARKs and commit-and-prove extensions
- Lattice-based succinct arguments for NP with polylogarithmic-time verification
- Succinct arguments for RAM programs via projection codes
- NIZK from SNARGs
- Lattice-based polynomial commitments: towards asymptotic and concrete efficiency
- Succinct functional commitments for circuits from \(k\)-\textsf{Lin}
- Public-coin, complexity-preserving, succinct arguments of knowledge for NP from collision-resistance
- SLAP: succinct lattice-based polynomial commitments from standard assumptions
- Lattice-based functional commitments: fast verification and cryptanalysis
- MyOPE: malicious security for oblivious polynomial evaluation
- Two-round MPC without round collapsing revisited -- towards efficient malicious protocols
- Counting vampires: from univariate sumcheck to updatable ZK-SNARK
- Succinct verification of compressed sigma protocols in the updatable SRS setting
- Adaptively sound zero-knowledge SNARKs for UP
- Adaptive security in SNARGs via iO and lossy functions
- A simple and efficient framework of proof systems for NP
- Succinct non-subsequence arguments
- Correlation intractability and SNARGs from sub-exponential DDH
This page was built for publication: Succinct non-interactive arguments via linear interactive proofs
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4910285)
