Open huitseeker opened 4 weeks ago
We have Haskell-based plonk verification in https://github.com/argumentcomputer/lurk-hs/tree/sphinx-hs
This is meant to be used to check validity of the e.g. Ethereum proofs, which is demonstrated end-to-end in https://github.com/argumentcomputer/zk-light-clients/tree/dev/ethereum/move
The Move verification contains a few more simple steps than the pure Plonk verification: checking and ratcheting the committee hashes.
We should sync on demonstrating how to perform this verification with @larskuhtz in Pact.
We have Haskell-based plonk verification in https://github.com/argumentcomputer/lurk-hs/tree/sphinx-hs
This is meant to be used to check validity of the e.g. Ethereum proofs, which is demonstrated end-to-end in https://github.com/argumentcomputer/zk-light-clients/tree/dev/ethereum/move
The Move verification contains a few more simple steps than the pure Plonk verification: checking and ratcheting the committee hashes.
We should sync on demonstrating how to perform this verification with @larskuhtz in Pact.