github/spartan-ecdsa
1
1
Fork 0
mirror of https://github.com/personaelabs/spartan-ecdsa.git synced 2026-01-10 14:38:04 -05:00
Code Issues Packages Projects Releases Wiki Activity

Fix underconstrained

Browse Source
This commit is contained in:
Daniel Tehrani
2022-12-30 14:58:47 +01:00
parent fb72c5e50d
commit 13234c6ed0
1 changed files with 11 additions and 3 deletions
Download Patch File Download Diff File Expand all files Collapse all files

14
circuits/ecdsa_membership/secp256k1/add.circom
View File

@@ -8,8 +8,16 @@ template Secp256k1Add() {
signal output outX;
signal output outY;
var lambda = (p1X - p2X) / (p1Y - p2Y);
signal lambda;
signal dx;
signal dy;
outX <-- lambda * lambda - p1X - p2X;
outY <-- lambda * (p1X - outX) - p1Y;
dx <== p1X - p2X;
dy <== p1Y - p2Y;
lambda <-- dx / dy;
dy * lambda === dx;
outX <== lambda * lambda - p1X - p2X;
outY <== lambda * (p1X - outX) - p1Y;
}