The Complexity of Memory Checking with Covert Security
- 28 April 2025
- book chapter
- Published by Springer Nature
- p. 301-330
Abstract
No abstract availableKeywords
This publication has 28 references indexed in Scilit:
- Unlocking the Lookup Singularity with Lasso2024
- Jolt: SNARKs for Virtual Machines via Lookups2024
- Memory Checking for Parallel RAMs2023
- Gemini: Elastic SNARKs for Diverse Environments2022
- Proofs for Inner Pairing Products and Applications2021
- Halo Infinite: Proof-Carrying Data from Additive Polynomial Commitments2021
- Spartan: Efficient and General-Purpose zkSNARKs Without Trusted Setup2020
- Libra: Succinct Zero-Knowledge Proofs with Optimal Prover Computation2019
- Parallelizable Authentication Trees2006
- A Certified Digital Signature2001