Halo2's Elegant Transcript As Proof

Today I want to showcase something really cute that zcash&rsquo;s halo2 implementation has designed in order to implement Fiat-Shamir in a secure way. If you take a look at their plonk prover, you...