Skip to content

Commit

Permalink
Fixed divergence from spec in the "return data size" macro for `ECADD…
Browse files Browse the repository at this point in the history 
…`/`ECMUL`/`ECPAIRING` (#549)
  • Loading branch information
@OlivierBBB
OlivierBBB authored Dec 13, 2024
1 parent dd809c6 commit 63968a3
Showing 1 changed file with 4 additions and 4 deletions.
8 changes: 4 additions & 4 deletions hub/constraints/instruction-handling/call/precompiles/ec_add_mul_pairing/success_case.lisp
View file
Original file line number Diff line number Diff line change
Expand Up @@ -99,10 +99,6 @@
(* PHASE_ECMUL_RESULT (precompile-processing---ECADD_MUL_PAIRING---nontrivial-ECMUL))
(* PHASE_ECPAIRING_RESULT (precompile-processing---ECADD_MUL_PAIRING---nontrivial-ECPAIRING))))

(defun (precompile-processing---ECADD_MUL_PAIRING---return-data-reference-size) (+ (* ECADD_RETURN_DATA_SIZE (precompile-processing---ECADD_MUL_PAIRING---nontrivial-ECADD))
(* ECMUL_RETURN_DATA_SIZE (precompile-processing---ECADD_MUL_PAIRING---nontrivial-ECMUL))
(* ECPAIRING_RETURN_DATA_SIZE (precompile-processing---ECADD_MUL_PAIRING---nontrivial-ECPAIRING))))

;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
;; Miscellaneous-row i + 3 ;;
;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
Expand Down Expand Up @@ -135,6 +131,10 @@
;; phase ;; phase
)))

(defun (precompile-processing---ECADD_MUL_PAIRING---return-data-reference-size) (+ (* ECADD_RETURN_DATA_SIZE scenario/PRC_ECADD )
(* ECMUL_RETURN_DATA_SIZE scenario/PRC_ECMUL )
(* ECPAIRING_RETURN_DATA_SIZE scenario/PRC_ECPAIRING)))


;;;;;;;;;;;;;;;;;;;;;;;
;; Context-row i + 4 ;;
Expand Down

0 comments on commit 63968a3

Please sign in to comment.