Skip to content

Commit 0cf4d4a

Browse files
zkronos73laisolizq
authored andcommitted
create minimal diagnostic test with durian features (#366)
* create minimal diagnostic test with durian features * fix bug on secp256r1 dbl helper
1 parent ac4b951 commit 0cf4d4a

File tree

3 files changed

+465
-2
lines changed

3 files changed

+465
-2
lines changed

.gitignore

Lines changed: 2 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -21,3 +21,5 @@ main.pil.json
2121
tools/full-tracer-tests/ft-traces/
2222
batch-l2-data.json
2323
*.sage.py
24+
*.json.bz2
25+
*.json.gz

test/diagnostic/operations/arith/secp256r1_ecadd_same.zkasm

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -2,8 +2,8 @@
22

33
REDUNDANT_ARITH_SECP256R1_ECADD_SAME_CHECK:
44

5-
${xDblPointEc_secp256r1(A,B,C,D)} => E
6-
${yDblPointEc_secp256r1(A,B,C,D)} :ARITH_SECP256R1_ECADD_SAME
5+
${xDblPointEc_secp256r1(A,B)} => E
6+
${yDblPointEc_secp256r1(A,B)} :ARITH_SECP256R1_ECADD_SAME
77
:RETURN
88

99
init_secp256r1_ecadd_same:

0 commit comments

Comments
 (0)