Pages that link to "Item:Q1626134"
From MaRDI portal
The following pages link to Prover-efficient commit-and-prove zero-knowledge snarks (Q1626134):
Displaying 7 items.
- Scalable zero knowledge via cycles of elliptic curves (Q1688401) (← links)
- Spartan: efficient and general-purpose zkSNARKs without trusted setup (Q2104239) (← links)
- A PCP theorem for interactive proofs and applications (Q2170038) (← links)
- Efficient Constructions of Composable Commitments and Zero-Knowledge Proofs (Q3600238) (← links)
- SnarkPack: practical SNARK aggregation (Q6045200) (← links)
- \(\mathcal{Lunar}\): a toolbox for more efficient universal and updatable zkSNARKs and commit-and-prove extensions (Q6157543) (← links)
- Succinct publicly-certifiable proofs. Or, can a blockchain verify a designated-verifier proof? (Q6157611) (← links)