Pages that link to "Item:Q2120103"
From MaRDI portal
The following pages link to An algebraic framework for universal and updatable SNARKs (Q2120103):
Displaying 12 items.
- Counting vampires: from univariate sumcheck to updatable ZK-SNARK (Q6132412) (← links)
- \(\mathcal{Lunar}\): a toolbox for more efficient universal and updatable zkSNARKs and commit-and-prove extensions (Q6157543) (← links)
- CRS-updatable asymmetric quasi-adaptive NIZK arguments (Q6169455) (← links)
- Linear-map vector commitments and their practical applications (Q6175974) (← links)
- An analysis of the algebraic group model (Q6175979) (← links)
- On black-box knowledge-sound commit-and-prove SNARKs (Q6562559) (← links)
- Polynomial IOPs for memory consistency checks in zero-knowledge virtual machines (Q6562561) (← links)
- From polynomial IOP and commitments to non-malleable zkSNARKs (Q6582227) (← 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)
- Threshold encryption with silent setup (Q6653013) (← links)
- Polymath: Groth16 is not the limit (Q6660297) (← links)