51 Commits

Author	SHA1	Message	Date
jeong0982	075df0cc16	Apply parallelization	2024-06-15 18:42:03 +09:00
jeong0982	e0bb4e4760	Change full-proving to use sumcheck trait	2024-06-11 16:21:54 +09:00
jeong0982	c118aa3adf	Add multi-threaded version (WIP)	2024-06-09 15:46:30 +09:00
Soowon Jeong	69ce8e0a8f	Apply parallelized evaluation	2024-05-28 11:04:34 +09:00
jeong0982	c3187ffecc	hotfix: fix error in finding indices (endian)	2024-05-20 21:32:41 +09:00
DoHoonKim	4d80a8b10c	Update test	2024-05-17 02:04:35 +09:00
DoHoonKim	e84c5a55c0	Convert index to little-endian	2024-05-17 01:53:16 +09:00
Soowon Jeong	f1757f3c7d	Change the endian of challenge	2024-05-17 01:44:02 +09:00
Soowon Jeong	a9d27a396b	Fix batched pcs	2024-05-17 01:36:50 +09:00
Soowon Jeong	e94cb9480a	Fix x to be reversed	2024-05-17 01:28:09 +09:00
DoHoonKim	24db532b6c	Impl MultilinearPolynomial::eval_by_coeff	2024-05-17 01:07:02 +09:00
Soowon Jeong	511e380d23	Add reversing sigmas	2024-05-16 18:23:48 +09:00
Soowon Jeong	dadc9d7e95	Fix error in pcs	2024-05-16 13:14:02 +09:00
jeong0982	6a281c4631	Fix pcs for using sumcheck of clookup	2024-05-15 18:14:49 +09:00
Soowon Jeong	6521b8fbe4	Fix pcs	2024-05-15 13:11:17 +09:00
Soowon Jeong	91533b467e	Add evaluation of multilinear polynomial	2024-05-14 21:06:02 +09:00
jeong0982	754f50c223	Implement protocol ... Co-authored-by: DoHoonKim8 <dohoon1097819@gmail.com>	2024-05-14 19:12:45 +09:00
DoHoonKim	64864c43c9	Fmt and update clookup prover ... Co-authored-by: jeong0982 <soowon1106@gmail.com>	2024-05-14 09:39:25 +09:00
DoHoonKim	86c7d0350f	Add sumcheck verifier ... Co-authored-by: jeong0982 <soowon1106@gmail.com>	2024-05-14 09:39:11 +09:00
DoHoonKim	9e3da9e229	Sumcheck prover ... Co-authored-by: jeong0982 <soowon1106@gmail.com>	2024-05-14 09:39:00 +09:00
DoHoonKim	040b61907a	Add multilinear polynomial utils ... Co-authored-by: jeong0982 <soowon1106@gmail.com>	2024-05-13 22:00:38 +09:00
DoHoonKim	162e89933a	Write small test	2024-05-13 13:32:02 +09:00
DoHoonKim	e0ed47894a	Change return type of sumcheck trait methods	2024-05-13 13:32:02 +09:00
DoHoonKim	e664e2f3cd	Cleanup	2024-05-11 01:19:11 +09:00
DoHoonKim	b2f21dec81	Refine trait interface	2024-05-08 14:32:46 +09:00
jeong0982	7eeeee137a	Remove unused test	2024-05-07 23:15:48 +09:00
jeong0982	cdd9c5bfe0	Add classic sumcheck prover ... Co-authored-by: DohoonKim8 <dohoon1097819@gmail.com>	2024-05-07 23:12:24 +09:00
DoHoonKim8	d746527b45	Add sumcheck module	2024-04-25 23:39:12 +09:00
DoHoonKim8	74fce3c5ef	Update Prover	2024-04-25 23:38:50 +09:00
DoHoonKim8	e025e1e427	Add polynomial method to Table	2024-04-25 23:38:24 +09:00
DoHoonKim8	e5f7d17af0	Add verifier module	2024-04-25 23:37:43 +09:00
DoHoonKim8	4ec7a0cf7a	Minor style cleanup	2024-04-25 20:33:50 +09:00
DoHoonKim	017c08e6e6	Add kzg module	2024-04-18 21:06:56 +09:00
DoHoonKim	6ce6815650	Impl Polynomial trait for MultilinearPolynomial	2024-04-18 21:06:56 +09:00
DoHoonKim	a9f23c0252	Add transcript	2024-04-18 21:06:56 +09:00
DoHoonKim	0dedf0d487	Add evals related methods	2024-04-18 21:06:56 +09:00
DoHoonKim	e38d06bf6e	Add more error types	2024-04-18 21:06:56 +09:00
DoHoonKim	f3ea42e693	Add basic utils	2024-04-18 21:06:56 +09:00
DoHoonKim	968b0804b3	Add evals field to MultilinearPolynomial	2024-04-18 16:43:04 +09:00
jeong0982	ffcff4bdd5	Add operations of multilinear (from Plonkish)	2024-04-16 21:17:51 +09:00
jeong0982	563eab7d17	Add test for finding indices	2024-04-16 20:47:10 +09:00
jeong0982	a2b9f332fb	Fix error in generation of sigmas	2024-04-16 18:26:04 +09:00
jeong0982	0cddfe01a8	Update precomputation	2024-04-16 18:23:30 +09:00
jeong0982	ec17cb6463	Fix error and add test	2024-04-15 16:21:07 +09:00
jeong0982	676c9bb1e3	Add conversion from eval form to coeff form	2024-04-15 15:17:03 +09:00
DoHoonKim	dc153bf3c7	Add pcs module	2024-03-28 13:52:06 +09:00
jeong0982	8b664c5c8e	Fix structure of polynomial	2024-03-27 12:28:20 +09:00
jeong0982	16c5ab665f	Fix interpolation	2024-03-22 17:51:14 +08:00
jeong0982	fd4c4d209c	Add files	2024-03-22 16:53:25 +08:00
jeong0982	516192a937	Make initial structure of project	2024-03-22 15:50:29 +08:00