Daniel Tehrani 20565c8a25 Replace the testing R1CS to an instance that has variables

2023-03-31 12:51:57 +09:00

..

benchmark

Fix verification: Add public input validation

2023-02-02 15:06:39 +09:00

circuit_reader

Merge main

2023-03-28 16:43:08 +09:00

circuits

Merge main

2023-03-28 16:43:08 +09:00

hoplite

Replace the testing R1CS to an instance that has variables

2023-03-31 12:51:57 +09:00

hoplite_circuit

Use circuit_reader

2023-03-28 16:44:20 +09:00

lib

Merge main

2023-03-28 16:43:08 +09:00

poseidon

Add MIT license for other packages

2023-02-01 18:16:57 +09:00

secq256k1

Add MIT license for other packages

2023-02-01 18:16:57 +09:00

spartan_wasm

Merge main

2023-03-28 16:43:08 +09:00

Spartan-secq

Expose proof values so we can read them in Hoplite

2023-03-29 22:24:29 +09:00