Merge remote-tracking branch 'upstream/jubjub' into jubjub-stdlib

Zokrates · Jan 2, 2024 · 1831b18 · 1831b18
2 parents 21ffcfe + 9366c09
commit 1831b18
Show file tree

Hide file tree

Showing 3 changed files with 9 additions and 0 deletions.
diff --git a/changelogs/unreleased/1259-dark64 b/changelogs/unreleased/1259-dark64
@@ -0,0 +1 @@
+Add jubjub to stdlib (collab with @alvaro-alonso)
diff --git a/zokrates_stdlib/stdlib/ecc/proofOfOwnership.zok b/zokrates_stdlib/stdlib/ecc/proofOfOwnership.zok
@@ -14,6 +14,10 @@ from "ecc/edwards" import scalarMul;
 ///    G: Generator point
 ///    EDWARDS_A: Coefficient `a` of the twisted Edwards curve
 ///    EDWARDS_D: Coefficient `d` of the twisted Edwards curve
+<<<<<<< HEAD
+=======
+///    bit_size: Bit size of the twisted Edwards curve
+>>>>>>> upstream/jubjub
 ///
 /// Returns true for pk/sk being a valid keypair, false otherwise.
 def main(field[2] pk, field sk, field[2] G, field EDWARDS_A, field EDWARDS_D) -> bool {

diff --git a/zokrates_stdlib/stdlib/ecc/verifyEddsa.zok b/zokrates_stdlib/stdlib/ecc/verifyEddsa.zok
@@ -24,6 +24,10 @@ from "ecc/edwards" import add, scalarMul, onCurve, orderCheck;
 ///    M1: 256bit array. Trailing 256bits of the message used to create S.
 ///    EDWARDS_A: Coefficient `a` of the twisted Edwards curve
 ///    EDWARDS_D: Coefficient `d` of the twisted Edwards curve
+<<<<<<< HEAD
+=======
+///    bit_size: Bit size of the twisted Edwards curve
+>>>>>>> upstream/jubjub
 ///
 /// Returns:
 ///     Return true for S being a valid EdDSA Signature, false otherwise.