diff --git a/changelogs/unreleased/1259-dark64 b/changelogs/unreleased/1259-dark64 new file mode 100644 index 000000000..c7a870565 --- /dev/null +++ b/changelogs/unreleased/1259-dark64 @@ -0,0 +1 @@ +Add jubjub to stdlib (collab with @alvaro-alonso) \ No newline at end of file diff --git a/zokrates_stdlib/stdlib/ecc/proofOfOwnership.zok b/zokrates_stdlib/stdlib/ecc/proofOfOwnership.zok index eb5844fa3..5d01ef14c 100644 --- 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 index 29c8cecde..bee1ef926 100644 --- 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.