Pages that link to "Item:Q2170056"
From MaRDI portal
The following pages link to Gemini: elastic SNARKs for diverse environments (Q2170056):
Displaying 11 items.
- Distributed-prover interactive proofs (Q6581784) (← links)
- Lattice-based polynomial commitments: towards asymptotic and concrete efficiency (Q6595849) (← links)
- \textsf{Testudo}: linear time prover SNARKs with constant size proofs and square root size universal setup (Q6619943) (← links)
- Simulation-extractable KZG polynomial commitments and applications to HyperPlonk (Q6635764) (← links)
- \textsc{Zeromorph}: zero-knowledge multilinear-evaluation proofs from homomorphic univariate commitments (Q6639502) (← links)
- An efficient ZK compiler from SIMD circuits to general circuits (Q6655875) (← links)
- BaseFold: efficient field-agnostic polynomial commitment schemes from foldable codes (Q6660296) (← links)
- Polynomial commitments from lattices: post-quantum security, fast verification and transparent setup (Q6660298) (← links)
- Mangrove: a scalable framework for folding-based SNARKs (Q6660304) (← links)
- HyperNova: recursive arguments for customizable constraint systems (Q6660305) (← links)
- zk-Bench: a toolset for comparative evaluation and performance benchmarking of SNARKs (Q6660380) (← links)
