Pages that link to "Item:Q6157543"
From MaRDI portal
The following pages link to \(\mathcal{Lunar}\): a toolbox for more efficient universal and updatable zkSNARKs and commit-and-prove extensions (Q6157543):
Displaying 14 items.
- Updatable and universal common reference strings with applications to zk-SNARKs (Q776013) (← links)
- Prover-efficient commit-and-prove zero-knowledge snarks (Q1626134) (← links)
- Counting vampires: from univariate sumcheck to updatable ZK-SNARK (Q6132412) (← links)
- CRS-updatable asymmetric quasi-adaptive NIZK arguments (Q6169455) (← links)
- On black-box knowledge-sound commit-and-prove SNARKs (Q6562559) (← links)
- From polynomial IOP and commitments to non-malleable zkSNARKs (Q6582227) (← links)
- How to compile polynomial IOP into simulation-extractable SNARKs: a modular approach (Q6582228) (← links)
- Algebraic group model with oblivious sampling (Q6587960) (← links)
- Benchmarking the setup of updatable zk-SNARKs (Q6619946) (← links)
- Lookup arguments: improvements, extensions and applications to zero-knowledge decision trees (Q6635776) (← links)
- Constant-size zk-SNARKs in ROM from falsifiable assumptions (Q6637561) (← links)
- An efficient ZK compiler from SIMD circuits to general circuits (Q6655875) (← links)
- Polymath: Groth16 is not the limit (Q6660297) (← links)
- Hybrid zero-knowledge from garbled circuits and circuit-based composition of \(\Sigma \)-protocols (Q6660381) (← links)
