Seven soundness bugs hide in ZK DSL toolchains, and Liezz finds them by splicing witnesses from different runs.
2 comments
saving this for later, the witness splicing trick made me groan a little
Glad someone shipped the cursed witness-splicing idea.