search

anoma / vamp-ir

Vamp-IR is a proof-system-agnostic language for writing arithmetic circuits
https://anoma.github.io/VampIR-Book/
Apache License 2.0
156 stars 44 forks source link

Serialize verifying key in Halo2 #85

Open lopeetall opened 1 year ago

lopeetall commented 1 year ago

Perhaps using this PR: https://github.com/zcash/halo2/pull/661

Link to @bazzilic comment on Discord describing the problem: https://discord.com/channels/1041745799220052008/1041746554429640714/1097931013038022838