nulltea / halo2-encryption Goto Github PK

ran test circuit , prior added (in halo2-elgmal/examples/encrypt-block)

let prover = MockProver::run(12, &circuit, public_inputs).unwrap();
prover.assert_satisfied();
let proved = prover.verify().is_ok();

--

Running target/release/examples/encrypt-block
Equality constraint not satisfied by cell (Column { column_type: Advice, index: 1 }, in Region 2 ('witness point') at offset 0)

Equality constraint not satisfied by cell (Column { column_type: Advice, index: 12 }, in Region 6 ('c = a + b') at offset 0)

Equality constraint not satisfied by cell (Column { column_type: Instance, index: 1 }, outside any region, on row 1)

Equality constraint not satisfied by cell (Column { column_type: Instance, index: 2 }, outside any region, on row 2)

thread 'main' panicked at 'circuit was not satisfied', /Users/test/rust/src/halo2/halo2_proofs/src/dev.rs:873:13