feat: SHA-256 - Githubissues

pluto / signius

Exploring Fast Cryptographic Primitives in Binius

3 stars 0 forks source link

feat: SHA-256 #1

Open 0xJepsen opened 3 months ago

0xJepsen commented 3 months ago

This issue serves as a discussion spot for implementation details and challenges of implementing SHA-256 in Binius.

The following are tasks necessary (but not necessarily sufficient) to be able to complete SHA-256.

[ ] #3
[ ] #4
[ ] #5
[ ] #6
[ ] #7
[ ] #8
[ ] #9
[ ] #10

Autoparallel commented 3 months ago

Even more simply, I think we should work to create proofs for the operations used in SHA2. We can start with the 256 bit version as it's going to force us to figure out how to set up constraints and use the tower fields (as needed).

Let me make some issues.