🌱 Interactive Oracle Proofs of Proximity (IOPP)
tl;dr: A relaxation of IOPs that is central to hash-based proof systems like FRI, STIR[^ACFY24eSTIR] and WHIR.
🌱 Interactive Oracle Proofs (IOPs)
tl;dr: An interactive oracle proof (IOP) is an interactive proof system where the verifier has oracle access to the prover’s messages rather than reading them in full. This combines the expressiveness of interactive proofs with the efficiency of PCPs. Introduced in [BCS16][^BCS16].
🌱 Error-correcting codes
tl;dr: Too many FRI[^BBHR18FRI] conjectures that need to be understood, so here we are…
🌲 Pedersen commitments
tl;dr: Pedersen commitments[^Pede91Comm] are one of the most important cryptographic primitives for a beginner to understand, in my opinion.
🌱 Zero-knowledge proofs for Aptos Keyless
tl;dr: Notes on our current use of Groth16 for Aptos Keyless and how we might improve upon it.
Should have applications to anonymous payments, confidential assets, zkVM proof wrapping etc.
🌲 Papamanthou-Shi-Tamassia (PST) multivariate polynomial commitments
tl;dr: The 1st multivariate polynomial commitment scheme based on a non-trivial generalization of KZG.
🌲 Cryptography on Aptos
tl;dr: (Almost?) all of the cryptography deployed on Aptos. For users, for developers and for general security.
115 post articles, 15 pages.