74 Commits

This Branch

This Branch

All Branches

Author	SHA1	Message	Date
DoHoonKim8	8e57165b1d	Update submodule	2024-11-15 03:18:53 +00:00
Soowon Jeong	345d1af4c6	Fix	2024-11-14 08:03:49 +00:00
Soowon Jeong	f5afd91b27	Change transcript	2024-11-14 07:31:14 +00:00
DoHoonKim8	c60482924f	Integrate, fix, cuda prover	2024-11-13 11:59:25 +00:00
Soowon Jeong	58faedebeb	Fix use of transcript	2024-11-12 09:43:29 +00:00
Soowon Jeong	38bd64fc72	Update rust.yml	2024-11-11 17:50:27 +07:00
Soowon Jeong	07bfa2ed75	Update rust.yml	2024-11-11 17:45:05 +07:00
Soowon Jeong	194af63b58	Implement cuda module	2024-11-11 10:39:39 +00:00
Soowon Jeong	da3f36dca6	Integrate cuda-sumcheck	2024-11-01 06:19:14 +00:00
jeong0982	b24110b45b	Cleanup	2024-06-29 18:46:42 +09:00
jeong0982	a2dd573e9b	Apply parallelization	2024-06-18 18:38:12 +09:00
jeong0982	1867fb446c	Remove system.rs	2024-06-18 18:38:12 +09:00
jeong0982	13b08f4e37	Add benchmark for parallelized version	2024-06-18 18:38:12 +09:00
jeong0982	0124dd457c	Change full-proving to use sumcheck trait	2024-06-18 18:38:12 +09:00
jeong0982	daea1312ef	Add multi-threaded version (WIP)	2024-06-18 18:38:12 +09:00
Soowon Jeong	208083741c	Update README.md	2024-06-05 13:37:22 +09:00
Soowon Jeong	1a57cf7b7b	Update guide for benchmark in README	2024-05-28 11:04:34 +09:00
Soowon Jeong	69ce8e0a8f	Apply parallelized evaluation	2024-05-28 11:04:34 +09:00
Soowon Jeong	32d289b4a5	Update benchmark	2024-05-28 11:04:34 +09:00
Wanseob Lim	50abab08b4	add devcontainer	2024-05-20 21:33:34 +09:00
jeong0982	c3187ffecc	hotfix: fix error in finding indices (endian)	2024-05-20 21:32:41 +09:00
Wanseob Lim	9edbc6ce95	Merge pull request #7 from pseXperiments/task/ci-cd ... Add CI/CD using Gtihub Actions	2024-05-20 17:02:29 +09:00
Wanseob Lim	5d2c52f261	Create rust.yml	2024-05-20 16:02: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	c928660689	Remove plonkish_backend dependency ... Co-authored-by: jeong0982 <soowon1106@gmail.com>	2024-05-13 22:03:29 +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