fix(ProtocolSpec): prove the partial-transcript splitters and index equivalences for sequential composition (6 sorries removed) - #641

fix(ProtocolSpec): prove the partial-transcript splitters and index equivalences for sequential composition (6 sorries removed)#641

alexanderlhicks merged 1 commit into

Verified-zkEVM:mainVerified-zkEVM/ArkLib:mainfrom

Abraxas1010:fix/seqcompose-transcript-splittersAbraxas1010/ArkLib:fix/seqcompose-transcript-splittersCopy head branch name to clipboard