github/circ
1
1
Fork 0
mirror of https://github.com/circify/circ.git synced 2026-01-15 00:27:56 -05:00
Code Issues Packages Projects Releases Wiki Activity
Files
silph_open_source
circ/examples/ZoKrates/pf
History
Alex Ozdemir c1293464d2 Precomputations (or, as-known-for-proofs, witness extension) (#80) 
Co-authored-by: Riad S. Wahby <rsw@jfet.org>
2022-05-17 08:54:04 -07:00
..
3_plus.zok
Public inputs for proofs. (#27)
2021-12-10 13:09:05 -08:00
3_plus.zok.pin
Precomputations (or, as-known-for-proofs, witness extension) (#80)
2022-05-17 08:54:04 -07:00
3_plus.zok.vin
Precomputations (or, as-known-for-proofs, witness extension) (#80)
2022-05-17 08:54:04 -07:00
arr_str_arr_str.zok
IR-based Zokrates front-end (#33)
2022-01-01 11:44:56 -08:00
arr_str_arr_str.zok.pin
Precomputations (or, as-known-for-proofs, witness extension) (#80)
2022-05-17 08:54:04 -07:00
arr_str_arr_str.zok.vin
Precomputations (or, as-known-for-proofs, witness extension) (#80)
2022-05-17 08:54:04 -07:00
many_pub.zok
IR-based Zokrates front-end (#33)
2022-01-01 11:44:56 -08:00
many_pub.zok.pin
Precomputations (or, as-known-for-proofs, witness extension) (#80)
2022-05-17 08:54:04 -07:00
many_pub.zok.vin
Precomputations (or, as-known-for-proofs, witness extension) (#80)
2022-05-17 08:54:04 -07:00
mm.zok
IR-based Zokrates front-end (#33)
2022-01-01 11:44:56 -08:00
mm.zok.pin
Precomputations (or, as-known-for-proofs, witness extension) (#80)
2022-05-17 08:54:04 -07:00
mm.zok.vin
Precomputations (or, as-known-for-proofs, witness extension) (#80)
2022-05-17 08:54:04 -07:00
mul.zok
IR-based Zokrates front-end (#33)
2022-01-01 11:44:56 -08:00
mul.zok.pin
Precomputations (or, as-known-for-proofs, witness extension) (#80)
2022-05-17 08:54:04 -07:00
mul.zok.vin
Precomputations (or, as-known-for-proofs, witness extension) (#80)
2022-05-17 08:54:04 -07:00
str_arr_str.zok
IR-based Zokrates front-end (#33)
2022-01-01 11:44:56 -08:00
str_arr_str.zok.pin
Precomputations (or, as-known-for-proofs, witness extension) (#80)
2022-05-17 08:54:04 -07:00
str_arr_str.zok.vin
Precomputations (or, as-known-for-proofs, witness extension) (#80)
2022-05-17 08:54:04 -07:00
str_str.zok
IR-based Zokrates front-end (#33)
2022-01-01 11:44:56 -08:00
str_str.zok.pin
Precomputations (or, as-known-for-proofs, witness extension) (#80)
2022-05-17 08:54:04 -07:00
str_str.zok.vin
Precomputations (or, as-known-for-proofs, witness extension) (#80)
2022-05-17 08:54:04 -07:00
var_idx_arr_str_arr_str.zok
IR-based Zokrates front-end (#33)
2022-01-01 11:44:56 -08:00
var_idx_arr_str_arr_str.zok.pin
Precomputations (or, as-known-for-proofs, witness extension) (#80)
2022-05-17 08:54:04 -07:00
var_idx_arr_str_arr_str.zok.vin
Precomputations (or, as-known-for-proofs, witness extension) (#80)
2022-05-17 08:54:04 -07:00
xor.zok
Public inputs for proofs. (#27)
2021-12-10 13:09:05 -08:00
xor.zok.pin
Precomputations (or, as-known-for-proofs, witness extension) (#80)
2022-05-17 08:54:04 -07:00
xor.zok.vin
Precomputations (or, as-known-for-proofs, witness extension) (#80)
2022-05-17 08:54:04 -07:00