Volatile and Persistent Memory for zkSNARKs via Algebraic Interactive Proofs.
Alex OzdemirEvan LauferDan BonehPublished in: IACR Cryptol. ePrint Arch. (2024)
Keyphrases
- memory usage
- random access
- user interaction
- user friendly
- formal proof
- interactive video
- memory management
- highly interactive
- computing power
- theorem proving
- memory requirements
- higher order
- main memory
- computer graphics
- decision procedures
- user interface
- memory size
- computational complexity
- low memory
- natural deduction
- data mining