- 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
- Incremental Merkle Tree with batch insert
- 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
- Groth16 - part 6 - public inputs
- Groth16 - part 7 - zero knowledge
- Overview
- Computation to polynomial
- Trace polynomial
- Trace domain
- Lagrange polynomial
- Constraint polynomial
- Vanishing polynomial
- Quotienting
- Composition polynomial
- Mask
- Checks on composition polynomials
- Evaluation domain
- Why few checks on the composition polynomial is sufficient?
- Hamming distance
- Reed Solomon code
- Reed Solomon code and ZKSTARK
- Average distance amplication lemma
- Hamming distance of rational functions
- Hamming distance of different RS code
- Applying the average distance amplication lemma
- How to pick delta
- Why check functions are close to a low degree polynomials?
- FRI
- Polynomial decomposition
- Recap up to FRI
- DEEP ALI
- Why DEEP ALI increases security
- FRI
- Proximity gap theorem
- Proximity gap distance
- FRI - honest and dishonest prover
- Python code
- Links