Pages that link to "Item:Q1633476"
From MaRDI portal
The following pages link to Arya: nearly linear-time zero-knowledge proofs for correct program execution (Q1633476):
Displaying 13 items.
- Arya (Q40215) (← links)
- Boosting verifiable computation on encrypted data (Q2055689) (← links)
- Gemini: elastic SNARKs for diverse environments (Q2170056) (← links)
- Sublinear Zero-Knowledge Arguments for RAM Programs (Q5738888) (← links)
- Rinocchio: SNARKs for ring arithmetic (Q6070447) (← links)
- Obtaining simulation extractable NIZKs in the updatable CRS model generically (Q6118305) (← links)
- Fiat-Shamir security of FRI and related SNARKs (Q6562558) (← links)
- Polynomial IOPs for memory consistency checks in zero-knowledge virtual machines (Q6562561) (← links)
- zk-SNARKs from codes with rank metrics (Q6595937) (← links)
- Lookup arguments: improvements, extensions and applications to zero-knowledge decision trees (Q6635776) (← links)
- Efficient KZG-based univariate sum-check and lookup argument (Q6635778) (← links)
- How to prove statements obliviously? (Q6660309) (← links)
- Succinct non-subsequence arguments (Q6660378) (← links)