Write a preamble with GEB circuits

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

Closed lopeetall closed 1 year ago

lopeetall commented 1 year ago

We need a geb.pir with the primitives that GEB uses. @rokopt left a helpful message in the VampIR discord describing the necessary circuits.

lopeetall commented 1 year ago

Completed by the demo merge