zkFold / zkfold-base

ZkFold's Base library
https://zkfold.io
MIT License
17 stars 7 forks source link

Vks4git/143 in circuit cryptography #290

Closed vks4git closed 1 month ago

TurtlePU commented 1 month ago

@vlasin, recently @vks4git suggested that we merge this first to have this code in repo and not have it hang for long. I will create a separate issues for suggestions outlined above (FFA refactoring, Pairing refactoring, separate Symbolic datatype for Ed25519, anything else?)

vlasin commented 1 month ago

@vlasin, recently @vks4git suggested that we merge this first to have this code in repo and not have it hang for long. I will create a separate issues for suggestions outlined above (FFA refactoring, Pairing refactoring, separate Symbolic datatype for Ed25519, anything else?)

Ok, agreed. @vks4git, could you resolve non-Plonk constraint, please? Do we need to merge the Eq instance in this PR?