- Reckle trees: http://lagrange.dev/reckle-trees
- Verkle trees:
- Caulk lookup argument
- Caulk+ lookup argument
- Halo2 lookup argument
- Plonk lookup argument
- Lagrange interpolation
- Multivariate polynomial domain extension
- Weak fiat shamir: https://eprint.iacr.org/2023/691.pdf