Alex
@alexanderlhicks.com
Working on formal verification & AI at Ethereum.
verified-zkevm.org
verified-zkevm.org
Some of the exciting potentially-generally-useful tech to come out of the blockchain world are zkVMs that can prove the execution of arbitrary* code.
Thanks to @piapark.bsky.social there's a nice repository that now tracks features of the different zkVMs!
github.com/rkdud007/awe...
Thanks to @piapark.bsky.social there's a nice repository that now tracks features of the different zkVMs!
github.com/rkdud007/awe...
December 11, 2024 at 2:38 PM
Some of the exciting potentially-generally-useful tech to come out of the blockchain world are zkVMs that can prove the execution of arbitrary* code.
Thanks to @piapark.bsky.social there's a nice repository that now tracks features of the different zkVMs!
github.com/rkdud007/awe...
Thanks to @piapark.bsky.social there's a nice repository that now tracks features of the different zkVMs!
github.com/rkdud007/awe...