Commit Graph

  • 5e9022ff6b port to plonky2 v0.2.2 to make it compatible with the recursion-framework port-to-plonky2-v022 arnaucube 2024-10-10 15:40:10 +02:00
  • 08617fa6b3 Change for loop to iter().for_each() master Brian Lawrence 2024-10-04 14:02:05 -07:00
  • 970ec87b83 Merge pull request #1 from arnaucube/master tideofwords 2024-10-02 15:03:08 -07:00
  • ce4b8a4d95 make structs&methods public for external usage arnaucube 2024-10-02 23:59:30 +02:00
  • e6ee839a25 Add some comments Brian Lawrence 2024-09-30 15:53:38 -07:00
  • 2fe154cb66 Fix compiler error whoops Brian Lawrence 2024-09-30 15:45:26 -07:00
  • 4037853be8 Make trait SignatureVerifierBuilder Brian Lawrence 2024-09-30 15:44:27 -07:00
  • 8e25c44603 Test schnorr verify, works when it should, fails when it should Brian Lawrence 2024-09-30 15:40:44 -07:00
  • 2776bd431e Verify in-circuit returns a bool instead of constraining now Brian Lawrence 2024-09-30 15:34:14 -07:00
  • 5a8593a39c Delete unused imports Brian Lawrence 2024-09-30 15:29:43 -07:00
  • 2fb4c41162 Cleaning up more use statements Brian Lawrence 2024-09-30 15:27:32 -07:00
  • 8cfd106491 Cleaning up use statements Brian Lawrence 2024-09-30 15:25:03 -07:00
  • 482cd3347b Separate out mod65537 into separate file Brian Lawrence 2024-09-30 15:23:38 -07:00
  • e8aaa32322 Clean up code, still works Brian Lawrence 2024-09-30 15:18:48 -07:00
  • be2eec8b9c Format use statements Brian Lawrence 2024-09-30 14:53:17 -07:00
  • 754978169b Schnorr verification in circuit, tested, works Brian Lawrence 2024-09-30 13:54:19 -07:00
  • 5450550abd Setting up Schnorr verification tests Brian Lawrence 2024-09-30 13:47:39 -07:00
  • 910bebeeaf constrain_sig() implemented, still have to test Brian Lawrence 2024-09-30 11:44:28 -07:00
  • 573f5bea2f Mod 65537 tests, appears to work? Brian Lawrence 2024-09-30 11:41:44 -07:00
  • f2da365659 Code compiles, tests pass but don't test everything we want yet Brian Lawrence 2024-09-30 11:24:03 -07:00
  • 361203f830 Before testing mod65537 Brian Lawrence 2024-09-30 11:20:56 -07:00
  • 4318530882 Implement Generator for mod 65537 reduction, not tested yet Brian Lawrence 2024-09-30 10:15:38 -07:00
  • 539096f8ef Schnorr proofs in progress Brian Lawrence 2024-09-29 14:15:39 -07:00
  • 22adc43262 Prove Schnorr sigs, before deleting power code Brian Lawrence 2024-09-28 15:42:33 -07:00
  • 7847cd3320 Schnorr signature works Brian Lawrence 2024-09-28 13:03:09 -07:00
  • 2a6db2a980 Schnorr sigs, initial commit Brian Lawrence 2024-09-27 21:01:01 -07:00