New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Feat/#16 write test for failing case #20

Merged

sheagrief merged 2 commits into main from feat/#16_write_test_for_failing_case

Sep 30, 2023

Collaborator

sheagrief commented Sep 28, 2023

fix #16

changes:

add failing test code
- she.rs
  - Add that in some cases encrypt then decryprt results are different
- input_circuit.rs
  - Add a case that fails when invalid witness in Groth16
- preprocessing.rs
  - Add a case that fails when invalid witness in ZKPoPK
error handling
- preprocessing.rs
  - Fix return value of "fn verify" in ZKPoPK that was not implemented correctly.

sheagrief added 2 commits

September 28, 2023 12:17


          🔒 Update error handling in verify of ZKPoPK

393c99e


          ✅ Add failing case tests

d854e41

sheagrief requested a review from taskooh

September 28, 2023 04:14

sheagrief merged commit aeb0b2f into main

6 checks passed

taskooh deleted the feat/#16_write_test_for_failing_case branch

October 31, 2023 08:55

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet