logos-storage/logos-storage-nim
1
0
Fork 0
mirror of https://github.com/logos-storage/logos-storage-nim.git synced 2026-01-05 23:13:09 +00:00
Code Issues Packages Projects Releases Wiki Activity

faster verifyPairings

Browse Source 
Signed-off-by: Csaba Kiraly <csaba.kiraly@gmail.com>
This commit is contained in:
Csaba Kiraly 2022-04-12 14:27:21 +02:00
parent 434b6a1c0d
commit 62cd099f4f
No known key found for this signature in database
GPG Key ID: 0FE274EE8C95166E
1 changed files with 6 additions and 6 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

12
dagger/storageproofs/backends/backend_constantine.nim
View File

@ -134,19 +134,19 @@ proc ec_hash_to_g1*(dst: var ec_p1,
proc verifyPairings*(a1: ec_p1, a2: ec_p2, b1: ec_p1, b2: ec_p2) : bool = proc verifyPairings*(a1: ec_p1, a2: ec_p2, b1: ec_p1, b2: ec_p2) : bool =
when C.getEmbeddingDegree() == 12: when C.getEmbeddingDegree() == 12:
var gt1, gt2 {.noInit.}: Fp12[C] var gt {.noInit.}: Fp12[C]
else: else:
{.error: "Not implemented: signature on k=" & $C.getEmbeddingDegree() & " for curve " & $$C.} {.error: "Not implemented: signature on k=" & $C.getEmbeddingDegree() & " for curve " & $$C.}
var a1aff, b1aff {.noInit.}: ec_p1_affine var a1aff, b1aff {.noInit.}: ec_p1_affine
var a2aff, b2aff {.noInit.}: ec_p2_affine var a2aff, negb2aff {.noInit.}: ec_p2_affine
a1aff.affine(a1) a1aff.affine(a1)
b1aff.affine(b1) b1aff.affine(b1)
a2aff.affine(a2) a2aff.affine(a2)
b2aff.affine(b2) negb2aff.affine(b2)
gt1.pairing(a2aff, a1aff) negb2aff.neg(negb2aff)
gt2.pairing(b2aff, b1aff) gt.pairing([a2aff, negb2aff], [a1aff, b1aff])
return bool(gt1 == gt2) return gt.isOne().bool()
func ec_from_bytes*( func ec_from_bytes*(
dst: var Signature, dst: var Signature,