105 Commits

Author	SHA1	Message	Date
eerkaijun	63cfd178e0	fix tests	2023-12-17 18:22:38 +01:00
eerkaijun	e6c5ba8bd4	switch verification function signature	2023-12-17 18:22:38 +01:00
eerkaijun	6a7313a1e0	switch to groth16 and update verifiers	2023-12-17 18:22:38 +01:00
Nicolas "Norswap" Laurent	cdf532078f	update number of constraints	2023-12-04 02:23:00 +01:00
Nicolas "Norswap" Laurent	d32b698253	clarify circuit logic / documentation	2023-11-23 18:06:34 +01:00
Nicolas "Norswap" Laurent	699ad832d7	remove erroneous randomness computation in Play proof and refactor RemoveCard circom function to reflect all usages	2023-11-23 18:06:34 +01:00
Nicolas "Norswap" Laurent	36faf9add4	switch to connectkit	2023-10-23 01:57:00 +02:00
Nicolas "Norswap" Laurent	3449f9c4f9	quickfix	2023-10-21 17:43:59 +02:00
Nicolas "Norswap" Laurent	f6abb1bcda	purge semicolons from verify.js	2023-10-21 17:43:59 +02:00
Nicolas "Norswap" Laurent	521fad21fd	testing via verify.js	2023-10-21 17:43:59 +02:00
Nicolas "Norswap" Laurent	f6ac5f377f	doc circuit commands	2023-10-21 17:43:59 +02:00
Nicolas "Norswap" Laurent	8604b44cf7	misc formatting & comments in circuits	2023-10-16 03:59:18 +02:00
Nicolas "Norswap" Laurent	a4d07fac8c	fix circuit bug that meant we never selected the last card in the deck	2023-10-16 03:59:18 +02:00
Nicolas "Norswap" Laurent	f7dd4cb1ed	udpate circuits packages + snarkjs + viem & wagmi	2023-10-02 18:14:32 +02:00
Nicolas "Norswap" Laurent	7a9eee4a9b	update architecture document	2023-08-07 19:23:39 +02:00
Nicolas "Norswap" Laurent	2de06de549	enable installing all circuits at once	2023-08-07 19:23:39 +02:00
Nicolas "Norswap" Laurent	ad952d325f	update viem	2023-08-07 19:23:39 +02:00
eerkaijun	5745edcaea	smaller ptau	2023-08-02 22:47:24 +08:00
eerkaijun	e8a61ec49e	integration test works	2023-08-02 22:47:24 +08:00
eerkaijun	edb2cef2e6	verification works	2023-08-02 22:47:24 +08:00
Nicolas "Norswap" Laurent	c6841163a7	update packages	2023-07-16 17:39:43 +02:00
eerkaijun	8f824c0785	improve code readability	2023-07-11 23:44:51 +09:00
eerkaijun	0560cb49d7	use little endian instead of big endian	2023-07-11 23:44:51 +09:00
eerkaijun	34e79e89c0	update constraint values	2023-07-11 23:44:51 +09:00
eerkaijun	ab21604e40	and the same thing for packing cards	2023-07-11 23:44:51 +09:00
eerkaijun	2e3aeaad31	simpler way of doing num2bytes	2023-07-11 23:44:51 +09:00
eerkaijun	18dcbd2750	remove unused template	2023-07-11 23:44:51 +09:00
eerkaijun	bafbd7adfb	make each field element to take 31 cards instead of 32	2023-07-11 23:44:51 +09:00
eerkaijun	3e0b169d03	modularize byte packing helper function	2023-07-11 23:44:51 +09:00
eerkaijun	92d5daeeaf	update play circuit test	2023-07-11 23:44:51 +09:00
eerkaijun	60b05a6123	update test for draw proof	2023-07-11 23:44:51 +09:00
eerkaijun	48056e8970	update instantiation	2023-07-11 23:44:51 +09:00
eerkaijun	93f72b8ab1	fix some bugs and make drawHand test works	2023-07-11 23:44:51 +09:00
eerkaijun	6204778c15	update drawhand test	2023-07-11 23:44:51 +09:00
eerkaijun	c7c88dcaec	delete merkle test	2023-07-11 23:44:51 +09:00
eerkaijun	a1964b373d	completely remove merkle circuit woohoo	2023-07-11 23:44:51 +09:00
eerkaijun	67e1890f41	also make the play circuit work	2023-07-11 23:44:51 +09:00
eerkaijun	ac80d22f98	also make draw circuit work	2023-07-11 23:44:51 +09:00
eerkaijun	a7f040e219	add last index as a public signal	2023-07-11 23:44:51 +09:00
eerkaijun	cc90028d5a	fix remove card bug	2023-07-11 23:44:51 +09:00
eerkaijun	4b6498994d	also works for draw circuits but very messy now	2023-07-11 23:44:51 +09:00
eerkaijun	17a1cee3ee	update circuit constant	2023-07-11 23:44:51 +09:00
eerkaijun	7324baca27	modularize byte packing module	2023-07-11 23:44:51 +09:00
eerkaijun	0088a87c37	initial byte packing circuit	2023-07-11 23:44:51 +09:00
eerkaijun	f3c7942b75	byte packing draw circuit increase constraint from 75k to 233k	2023-07-11 23:44:51 +09:00
eerkaijun	9701e4f08c	using hash instead of merkle tree reduce constraints from 232k to 122k	2023-07-11 23:44:51 +09:00
Nicolas "Norswap" Laurent	c3b5401118	make typescript strict checks pass, check them with 'make check' + update dependencies	2023-07-03 19:31:05 +09:00
Nicolas "Norswap" Laurent	8cc7d010c2	make sure compiled circuit verifiers end up in the right location, with the right name	2023-07-03 19:31:05 +09:00
Nicolas "Norswap" Laurent	db6a728dc5	remove misleading comment	2023-06-19 02:08:32 +02:00
Nicolas "Norswap" Laurent	fcb043bf31	We are 0xFable	2023-06-19 02:08:32 +02:00