7 Commits

Author	SHA1	Message	Date
Remco Bloemen	030287e35a	Merge branch 'main' into remco/ci	2022-03-11 10:59:55 -08:00
Remco Bloemen	67b7f2f9ed	Remove cargo lock	2022-03-11 10:54:20 -08:00
psippl	6fc71ab357	remove snarkfiles dir	2022-03-06 19:15:44 +01:00
Remco Bloemen	3e7ff80611	Add benchmark	2022-02-28 19:44:30 -08:00
Remco Bloemen	2f06385c5c	Add formating rules	2022-02-01 11:40:49 -08:00
psippl	2fa89d6580	prove with real params and small refactors	2022-01-31 19:05:29 +01:00
psippl	089f126e4f	init	2022-01-28 01:43:38 +01:00