- DCA vault
- Yield optimization between 2 Aave V3 pools
- Vault inflation
- 63 / 64 gas rule
- Lending interest rate PID controller
- Vault and rebase math equivalence
- Sorted doubly linked list
- Merkle Tree
- Incremental Merkle Tree
- Fast Fourier Transform
- Most and least significant bits using clz
- R1CS
- QAP
- Schwartz-Zippel Lemma
- Polynomial evaluation at EC point
- EC pairing
- Groth16 - part 0 - overview
- Groth16 - part 1 - first attempt
- Groth16 - part 2 - separating factor
- Groth16 - part 3 - witness consistency check
- Groth16 - part 4 - additional explanation of witness consistency check
- Groth16 - part 5 - merging constraints
- Anatomy of a Stark
- STARKs, Part I: Proofs with Polynomials
- STARKs, Part II: Thank Goodness It's FRI-day
- STARKs, Part 3: Into the Weeds
- STARK 101
- A Walk-through of a Simple Zk-STARK Proof
- A41
- STARK by Hand
- FRI and Proximity Proofs (Part.1) w/ Dan Boneh
- Fast Reed-Solomon IOP (FRI) Proximity Test
- Diving DEEP FRI in the STARK world: learning your daily moon math with a concrete example
- Practical notes on the FRI low degree test
- Sin7Y Tech Review (18): Zero-Knowledge Proof Algorithm: ZK-Stark–-FRI Protocol
- Sin7Y Tech Review (25): STARK - An Indepth Technical Analysis
- zk-STARKs: FRI protocol