search

blockchaininnovation / zkzkrollup

1 stars 0 forks source link

integrate merkle tree to verifier output #12

Closed ashWhiteHat closed 1 year ago

ashWhiteHat commented 1 year ago

Merkle Treeのrootを引数にしてcalldataとの整合性のチェック 回路の書き換え: 元のルートと次のルートを引数に取る