Issues
- 4
Feature request: a non-crashing modulo operation
#113 opened by lukaszcz - 0
- 1
Specified iteration count is too large
#116 opened by lukaszcz - 0
Feature request: Add compile API from to build circuit from source and assignments
#115 opened by paulcadman - 22
Lazy if and division by zero
#107 opened by lukaszcz - 1
Write vamp-ir book
#46 opened by lopeetall - 0
Vamp-IR REPL
#60 opened by lopeetall - 0
CI: run test-and-build before any release
#111 opened by jonaprieto - 0
- 0
Use JSON5 for inputs (instead of JSON)
#103 opened by bazzilic - 0
File with compiled Vamp-IR circuit
#106 opened by CarloModicaPortfolio - 3
- 0
Inputs shouldn't be packed into the same file with proof and are instead a separate JSON file
#100 opened by AHartNtkn - 0
Just use the underlying constrain_instance function in Halo2 to publicize the variables.
#99 opened by AHartNtkn - 0
Improve error reporting
#80 opened by lopeetall - 0
Add utility to generate JSON inputs file template and corresponding CLI option
#62 opened by lopeetall - 1
Issue with Vamp-IR tuples
#88 opened by CarloModicaPortfolio - 1
- 2
- 0
Feature request: quiet mode
#92 opened by lukaszcz - 1
Checking for zero doesn't work with halo2
#89 opened by lukaszcz - 0
Update Halo2 dependencies
#86 opened by lopeetall - 3
Vamp-IR lib doesn't compile
#84 opened by lopeetall - 3
Allow vamp-ir to be used as a library
#57 opened by lopeetall - 1
Issue with bincode_derive version in Cargo.lock
#74 opened by bazzilic - 0
Serialize verifying key in Halo2
#85 opened by lopeetall - 0
Separate Halo2 parameter and circuit synthesis
#83 opened by lopeetall - 12
VampIR hangs
#79 opened by lukaszcz - 0
Github actions for continuous integration
#72 opened by lopeetall - 0
- 0
Enable `cargo bench {circuit name}`
#70 opened by lopeetall - 0
Compile to and from ACIR
#65 opened by lopeetall - 0
Separate circuit specification from evaluation
#63 opened by lopeetall - 0
Add Vamp-IR benchmarks to zkp-compiler-shootout
#61 opened by lopeetall - 1
- 0
Improve interface for adding new backends
#59 opened by lopeetall - 0
Allow output of intermediate forms
#58 opened by lopeetall - 4
Allow conditionals in `fresh`
#33 opened by lopeetall - 1
Write a preamble with GEB circuits
#39 opened by lopeetall - 2
Get prover inputs from file
#49 opened by lopeetall - 2
- 0
Compile to Sunscreen FHE (BFV)
#51 opened by cwgoes - 0
Synthesize with backend custom features
#48 opened by lopeetall - 0
Compile to AirScript
#47 opened by lopeetall - 1
Write Poseidon in VampIR
#40 opened by lopeetall - 1
- 0
- 1
- 1
- 0
Upgrade to `ark-serialize` 0.4
#38 opened by lopeetall