This is your work, valued

Verified zk(E)VM

Expert
@Verified-zkEVM

Github organization for the verified zk(E)VM formal verification project