Introduction to Formal Verification with Lean (Part 1)

A tutorial on building a merkle tree AIR script in Plonky3

Understanding the Ultrahonk Verifier