ElGamal encryption/decryption Circom2 circuits on the Baby Jubjub curve with TypeScript integration for input handling, testing, and benchmarking.
5
stars
1
forks
source link
Assert does not create a constraint if you want the check to hold against an attacker it needs to be a constraint #2
Closed
ananas-block closed 1 year ago
https://github.com/Shigoto-dev19/EC-ElGamal-Scheme-Circuit/blob/9503ce2660412b77e91c20a75c532dcdb44a498d/circuits/encrypt.circom#L15
https://docs.circom.io/circom-language/code-quality/code-assertion/