Commit history

e6ee839a252e0ad72555d96841280f1723466f65

B

Add some comments

Brian Lawrence committed on Sep 30, 2024

B

Fix compiler error whoops

Brian Lawrence committed on Sep 30, 2024

B

Make trait SignatureVerifierBuilder

Brian Lawrence committed on Sep 30, 2024

B

Test schnorr verify, works when it should, fails when it should

Brian Lawrence committed on Sep 30, 2024

B

Verify in-circuit returns a bool instead of constraining now

Brian Lawrence committed on Sep 30, 2024

B

Delete unused imports

Brian Lawrence committed on Sep 30, 2024

B

Cleaning up more use statements

Brian Lawrence committed on Sep 30, 2024

B

Cleaning up use statements

Brian Lawrence committed on Sep 30, 2024

B

Separate out mod65537 into separate file

Brian Lawrence committed on Sep 30, 2024

B

Clean up code, still works

Brian Lawrence committed on Sep 30, 2024

B

Format use statements

Brian Lawrence committed on Sep 30, 2024

B

Schnorr verification in circuit, tested, works

Brian Lawrence committed on Sep 30, 2024

B

Setting up Schnorr verification tests

Brian Lawrence committed on Sep 30, 2024

B

constrain_sig() implemented, still have to test

Brian Lawrence committed on Sep 30, 2024

B

Mod 65537 tests, appears to work?

Brian Lawrence committed on Sep 30, 2024

B

Code compiles, tests pass but don't test everything we want yet

Brian Lawrence committed on Sep 30, 2024

B

Before testing mod65537

Brian Lawrence committed on Sep 30, 2024

B

Implement Generator for mod 65537 reduction, not tested yet

Brian Lawrence committed on Sep 30, 2024

B

Schnorr proofs in progress

Brian Lawrence committed on Sep 29, 2024

B

Prove Schnorr sigs, before deleting power code

Brian Lawrence committed on Sep 28, 2024

B

Schnorr signature works

Brian Lawrence committed on Sep 28, 2024

B

Schnorr sigs, initial commit

Brian Lawrence committed on Sep 27, 2024