logos-co
/
nomos-specs
mirror of https://github.com/logos-co/nomos-specs.git
1
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity

crypto: make sure prf returns field elements, fix ECC math in pedcom

This commit is contained in:
David Rusu 2024-05-28 23:26:53 +04:00
parent 189ab5240d
commit 7405b31378
1 changed files with 5 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

8
coordination-layer/crypto.py
View File

@ -51,8 +51,10 @@ def poseidon_grumpkin_field():
POSEIDON = poseidon_grumpkin_field()
def prf(domain, *elements):
return POSEIDON([*_str_to_vec(domain), *elements])
def prf(domain, *elements) -> Field:
return Field(int(POSEIDON([*_str_to_vec(domain), *elements])))
def comm(*elements):
@ -65,7 +67,7 @@ def comm(*elements):
def pederson_commit(value: Field, blinding: Field, domain: Point) -> Point:
return value * Point.generator() + blinding * domain
return Point.generator().mul(value) + domain.mul(blinding)
def merkle_root(data) -> Field: