Pages that link to "Item:Q4910285"
From MaRDI portal
The following pages link to Succinct Non-interactive Arguments via Linear Interactive Proofs (Q4910285):
Displaying 50 items.
- Shorter arithmetization of nondeterministic computations (Q496013) (← links)
- Fine-grained secure computation (Q1631318) (← links)
- Scalable zero knowledge via cycles of elliptic curves (Q1688401) (← links)
- The hunting of the SNARK (Q1698394) (← links)
- How to build time-lock encryption (Q1791669) (← links)
- A more efficient leveled strongly-unforgeable fully homomorphic signature scheme (Q2004727) (← links)
- Transparent SNARKs from DARK compilers (Q2055634) (← links)
- Marlin: preprocessing zkSNARKs with universal and updatable SRS (Q2055641) (← links)
- \textsc{Fractal}: post-quantum and transparent recursive proofs from holography (Q2055643) (← links)
- On succinct arguments and witness encryption from groups (Q2096510) (← links)
- Spartan: efficient and general-purpose zkSNARKs without trusted setup (Q2104239) (← links)
- TurboIKOS: improved non-interactive zero knowledge and post-quantum signatures (Q2117059) (← links)
- Succinct non-interactive secure computation (Q2119013) (← links)
- \textsf{Halo Infinite}: proof-carrying data from additive polynomial commitments (Q2120097) (← links)
- Subquadratic SNARGs in the random oracle model (Q2120100) (← links)
- BooLigero: improved sublinear zero knowledge proofs for Boolean circuits (Q2145410) (← links)
- Practical witness-key-agreement for blockchain-based dark pools financial trading (Q2147265) (← links)
- Preprocessing succinct non-interactive arguments for rank-1 constraint satisfiability from holographic proofs (Q2163394) (← links)
- Asymptotically quasi-optimal cryptography (Q2170004) (← links)
- Secure multiparty computation with sublinear preprocessing (Q2170009) (← links)
- Zero-knowledge IOPs with linear-time prover and polylogarithmic-time verifier (Q2170049) (← links)
- On succinct non-interactive arguments in relativized worlds (Q2170051) (← links)
- SNARGs for P from sub-exponential DDH and QR (Q2170061) (← links)
- Succinct arguments in the quantum random oracle model (Q2175929) (← links)
- On the (In)security of Kilian-based SNARGs (Q2175953) (← links)
- Rational Sumchecks (Q2799100) (← links)
- On the existence of extractable one-way functions (Q2829449) (← links)
- On the (In)Security of SNARKs in the Presence of Oracles (Q3179354) (← links)
- Interactive Oracle Proofs (Q3181021) (← links)
- Delegating RAM Computations (Q3181023) (← links)
- Multikey Fully Homomorphic Encryption and Applications (Q4599146) (← links)
- Constant-Round Interactive Proofs for Delegating Computation (Q4997311) (← links)
- Updateable Inner Product Argument with Logarithmic Verifier and Applications (Q5041169) (← links)
- A Unified Framework for Non-universal SNARKs (Q5087272) (← links)
- ECLIPSE: Enhanced Compiling Method for Pedersen-Committed zkSNARK Engines (Q5087274) (← links)
- Lattice-Based SNARGs and Their Application to More Efficient Obfuscation (Q5270364) (← links)
- Computational Integrity with a Public Random String from Quasi-Linear PCPs (Q5270376) (← links)
- Sublinear Zero-Knowledge Arguments for RAM Programs (Q5738888) (← links)
- On the Black-box Use of Somewhat Homomorphic Encryption in NonInteractive Two-Party Protocols (Q5744697) (← links)
- No-signaling linear PCPs (Q5915596) (← links)
- No-signaling linear PCPs (Q5925695) (← links)
- SnarkPack: practical SNARK aggregation (Q6045200) (← links)
- An efficient identity tracing scheme for blockchain-based systems (Q6057389) (← links)
- Ligero: lightweight sublinear arguments without a trusted setup (Q6063128) (← links)
- Rinocchio: SNARKs for ring arithmetic (Q6070447) (← links)
- Batch arguments for \textsf{NP} and more from standard bilinear group assumptions (Q6104342) (← links)
- NIZK from SNARGs (Q6110372) (← links)
- Counting vampires: from univariate sumcheck to updatable ZK-SNARK (Q6132412) (← links)
- MyOPE: malicious security for oblivious polynomial evaluation (Q6134853) (← links)
- What makes Fiat-Shamir zkSNARKs (updatable SRS) simulation extractable? (Q6134856) (← links)
