#Where can I verify a proof

3 messages · Page 1 of 1 (latest)

tall igloo
#

So I create a proof with o1js. Where & how can I verify this proof? Is the o1js verifier the only option currently?
I know LambdaClass is working on an EVM bridge, so I guess they have an EVM verifier (unless they utilize some other proof systems for the bridge), but is that public and are there other verifiers?

silent wing
#

LambaClass is wrapping Kimchi proofs in a recursive KZG proof before verifying them in the EVM

#

Not sure about the exact state of the project but probably not usable e2e yet