26 Commits

This Branch

This Branch

All Branches

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