search

zkmove / halo2-verifier.move

A set of tooling of halo2 circuits verification in Move environments
Apache License 2.0
16 stars 4 forks source link

shuffle API support #72

Closed luxebeng closed 1 month ago

luxebeng commented 1 month ago

Halo2 support shuffle API at here. Now which is supported through this PR:

Halo2 halo2_verifier.move
shuffle API halo2_backend/src/plonk/shuffle/verifier.rs packages/verifier/sources/shuffle.move
“struct Argument” implementation halo2_frontend/src/plonk/shuffle.rs packages/verifier/sources/protocol.move
verify function halo2_backend/src/plonk/verifier.rs packages/verifier/sources/halo2_verifier.move
evaluator halo2_backend/src/plonk/evaluation.rs -
Halo2 update - “Cargo.toml” under crates folder
circuit information - crates/verifier-sdk/shape-generator/src/lib.rs::CircuitInfo/struct Lookup
serialized circuit - crates/verifier-sdk/shape-generator/src/serialize.rs::SerializableCircuitInfo
examples - crates/vk-gen-examples/src/examples/shuffle_api.rs