Notes Show All33 Aptos2 Aptos Keyless1 Bulletproofs1 ElGamal1 FRI2 Fiat-Shamir1 Groth161 LLM1 Merkle5 Move1 Shor1 accumulators1 anonymous payments2 basics1 benchmarks6 coding theory4 digital signatures1 domain-separation1 ecdsa2 elliptic curves3 encryption2 inner-product arguments (IPAs)3 math2 multilinear extensions (MLEs)2 nullifier1 number theory1 papers1 polynomial commitments4 polynomials1 post-quantum3 range proofs1 rank-1 constraint systems (R1CS)1 sigma protocols3 vector commitments (VCs)1 verifiable shuffle1 witness encryption (WE)1 zero-knowledge proofs (ZKPs)8 2026 May 01🌱 Benchmarking MSMs over secp256k1 May 01🌱 Notes on NEAR's MPC Apr 14🌱 Aptos Move Apr 05🌱 TIL: Malleable algebraic NIZKs Apr 04🌱 Witness encryption (WE) Apr 03🌱 Quantum computing Mar 25🌱 Multilinear polynomial commitment schemes (MLE PCS) Mar 22🌱 Large language models (LLMs) Mar 21🌱 Untraceable transactions (UTT) Mar 20🌱 Fiat-Shamir transform Mar 17🌱 Inner-product arguments (IPAs) Feb 04🌱 TIL: Field multiplications are faster than hashing! 2025 Dec 18🌱 Goldwasser-Kalai-Rothblum (GKR) proofs Dec 08🌱 Post-quantum signature schemes Dec 02🌱 Curve trees Nov 19🌱 Domain separation Nov 13🌱 $\Sigma$-phore Nov 12🌱 Notes on scaling nullifier sets Nov 06🌱 Error-correcting codes Nov 06🌱 Interactive Oracle Proofs (IOPs) Nov 06🌱 Interactive Oracle Proofs of Proximity (IOPP) Nov 06🌱 Ligerito Nov 06🌱 Polynomial Interactive Oracle Proofs (PIOPs) Nov 06🌱 WHIR Oct 29🌱 Zero-knowledge proofs for Aptos Keyless Sep 15🌱 Fast Reed-Solomon Interactive Oracle Proofs of Proximity (FRI) Aug 08🌱 Confidential assets on Aptos Jun 20🌱 Marlin Jun 06🌱 Bayer-Groth verifiable shuffle 2024 Sep 02🌱 Bulletproofs IPA for multiexp Jul 21🌱 Elliptic curves 2022 Nov 18🌱 Hyperproofs: Faster Merkle proof aggregation without SNARKs 2021 Apr 15🌱 Basic number theory