Pages that link to "Item:Q6166957"
From MaRDI portal
The following pages link to Nova: recursive zero-knowledge arguments from folding schemes (Q6166957):
Displaying 12 items.
- Proof-carrying data from arithmetized random oracles (Q6061366) (← links)
- Protostar: generic efficient accumulation/folding for special-sound protocols (Q6562560) (← links)
- Folding schemes with selective verification (Q6619934) (← links)
- \textsf{Jolt}: SNARKs for virtual machines via lookups (Q6637560) (← links)
- Unlocking the lookup singularity with \textsf{Lasso} (Q6637567) (← links)
- Cryptanalysis of algebraic verifiable delay functions (Q6652907) (← links)
- On sequential functions and fine-grained cryptography (Q6652975) (← links)
- An efficient ZK compiler from SIMD circuits to general circuits (Q6655875) (← links)
- Mangrove: a scalable framework for folding-based SNARKs (Q6660304) (← links)
- HyperNova: recursive arguments for customizable constraint systems (Q6660305) (← links)
- Concretely efficient lattice-based polynomial commitment from standard assumptions (Q6660308) (← links)
- Succinct non-subsequence arguments (Q6660378) (← links)