Skip to content

Merge branch 'main' of github.com:Verified-zkEVM/ArkLib into merkle-t…

bc7092d
Select commit
Loading
Failed to load commit list.
Open

feat: define theorem for extractability for Merkle trees #144

Merge branch 'main' of github.com:Verified-zkEVM/ArkLib into merkle-t…
bc7092d
Select commit
Loading
Failed to load commit list.