Introduction to Formal Verification with Lean Part 1

A tutorial on building a merkle tree AIR script in Plonky3

Understanding the Ultrahonk Verifier