Harden verifier boundaries and transcript binding#1382

quangvdao wants to merge 2 commits intoa16z:maina16z/jolt:mainfrom

quangvdao:quang/upstream-verifier-boundaries-and-transcript-bindingquangvdao/jolt:quang/upstream-verifier-boundaries-and-transcript-bindingCopy head branch name to clipboard