Pages that link to "Item:Q2119035"
From MaRDI portal
The following pages link to Recursive proof composition from accumulation schemes (Q2119035):
Displaying 24 items.
- \textsf{Halo Infinite}: proof-carrying data from additive polynomial commitments (Q2120097) (← links)
- Proof-carrying data without succinct arguments (Q2120099) (← links)
- Generic recursive lens combinators and their calculation laws (Q2123055) (← links)
- Time- and space-efficient arguments from groups of unknown order (Q2139631) (← links)
- On succinct non-interactive arguments in relativized worlds (Q2170051) (← links)
- An optimized inner product argument with more application scenarios (Q2673065) (← links)
- Fully-succinct publicly verifiable delegation from constant-size assumptions (Q2695648) (← links)
- Recursive composition and bootstrapping for SNARKS and proof-carrying data (Q5495781) (← links)
- Plumo: an ultralight blockchain client (Q6045243) (← links)
- Proof-carrying data from arithmetized random oracles (Q6061366) (← links)
- A survey of elliptic curves for proof systems (Q6063127) (← links)
- Ligero: lightweight sublinear arguments without a trusted setup (Q6063128) (← links)
- MyOPE: malicious security for oblivious polynomial evaluation (Q6134853) (← links)
- Maliciously secure massively parallel computation for all-but-one corruptions (Q6155275) (← links)
- Proofs for inner pairing products and applications (Q6157545) (← links)
- Nova: recursive zero-knowledge arguments from folding schemes (Q6166957) (← links)
- On black-box constructions of time and space efficient sublinear arguments from symmetric-key primitives (Q6169365) (← links)
- Protostar: generic efficient accumulation/folding for special-sound protocols (Q6562560) (← links)
- From polynomial IOP and commitments to non-malleable zkSNARKs (Q6582227) (← links)
- Folding schemes with selective verification (Q6619934) (← links)
- Bulletproofs++: next generation confidential transactions via reciprocal set membership arguments (Q6637547) (← links)
- Aggregating Falcon signatures with LaBRADOR (Q6648189) (← links)
- Polymath: Groth16 is not the limit (Q6660297) (← links)
- Mangrove: a scalable framework for folding-based SNARKs (Q6660304) (← links)