Pages that link to "Item:Q2055643"
From MaRDI portal
The following pages link to \textsc{Fractal}: post-quantum and transparent recursive proofs from holography (Q2055643):
Displaying 15 items.
- Transparent SNARKs from DARK compilers (Q2055634) (← links)
- \textsc{Fractal}: post-quantum and transparent recursive proofs from holography (Q2055643) (← links)
- Spartan: efficient and general-purpose zkSNARKs without trusted setup (Q2104239) (← links)
- \textsf{Halo Infinite}: proof-carrying data from additive polynomial commitments (Q2120097) (← links)
- Proof-carrying data without succinct arguments (Q2120099) (← links)
- Sumcheck arguments and their applications (Q2120101) (← links)
- An algebraic framework for universal and updatable SNARKs (Q2120103) (← links)
- Time- and space-efficient arguments from groups of unknown order (Q2139631) (← links)
- Preprocessing succinct non-interactive arguments for rank-1 constraint satisfiability from holographic proofs (Q2163394) (← links)
- A PCP theorem for interactive proofs and applications (Q2170038) (← links)
- Zero-knowledge IOPs with linear-time prover and polylogarithmic-time verifier (Q2170049) (← links)
- On succinct non-interactive arguments in relativized worlds (Q2170051) (← links)
- Gemini: elastic SNARKs for diverse environments (Q2170056) (← links)
- Ligero: lightweight sublinear arguments without a trusted setup (Q6063128) (← links)
- NIZK from SNARGs (Q6110372) (← links)
