177 Commits

This Branch

This Branch

All Branches

Author	SHA1	Message	Date
Kevin Jue	d847bbd8e8	finished interpolate function in fri round verification	2022-11-15 12:09:05 -08:00
Kevin Jue	f877e3bda3	calculated barycentric weights	2022-11-14 19:03:52 -08:00
Kevin Jue	8797fd15ed	arity verification check with incomplete compute_evaluation	2022-11-14 18:40:28 -08:00
Kevin Jue	317f4baf0a	some rearranging of the functions	2022-11-14 09:53:52 -08:00
Kevin Jue	cbb50ef3bd	deserialized the steps	2022-11-11 18:14:40 -08:00
Kevin Jue	571d64abeb	added the test challenges for the large circuit test	2022-11-11 16:24:16 -08:00
Kevin Jue	897030b335	added more test data	2022-11-11 13:47:03 -08:00
Kevin Jue	ccfe2b51c9	added reductionArityBits function	2022-11-10 17:46:49 -08:00
Kevin Jue	c3e16622a2	added GetFriInstance	2022-11-10 16:30:53 -08:00
Kevin Jue	393059b51d	added the function friCombineInitial	2022-11-10 12:54:57 -08:00
Kevin Jue	8e9591c964	calculated subgroupX	2022-11-10 08:05:30 -08:00
Kevin Jue	21157cf4af	added the merkle cap check	2022-11-09 10:54:27 -08:00
Kevin Jue	460709f65d	got merkle proof traversal working	2022-11-08 17:54:01 -08:00
Kevin Jue	d6f73d101b	correctly deserialize fri opening proofs	2022-11-08 14:52:22 -08:00
Kevin Jue	da80afaac4	expanded fri_test.go and implemented more for the fri verifier	2022-11-07 18:33:06 -08:00
Kevin Jue	bfcad86ce3	added more test cases for the fri challenges	2022-11-07 17:54:08 -08:00
Kevin Jue	d194d3860f	initial commit for fri verification chip	2022-11-04 21:23:32 -07:00
Kevin Jue	1d7f151cc1	permutation check for plonk works	2022-11-01 16:35:21 -07:00
Kevin Jue	ab164af7fc	reduced the vanishing terms	2022-11-01 16:07:03 -07:00
Kevin Jue	ef02b447e6	got plonk.evalVanishingPoly working	2022-10-31 19:51:51 -07:00
Kevin Jue	857fcf6c78	fixed bugs	2022-10-28 17:02:55 -07:00
Kevin Jue	1a1406e3b8	fixed some bugs	2022-10-28 15:51:53 -07:00
Kevin Jue	4262ff15fe	added plonk test file	2022-10-28 15:29:25 -07:00
Kevin Jue	96dc2c2359	edited DeserializeCommonCircuitData to return CommonCircuitData; added plonkAlpha and plonkZeta challenge test cases	2022-10-28 15:18:13 -07:00
Kevin Jue	9462d19913	plonk verification circuit in progress	2022-10-28 06:54:31 -07:00
Kevin Jue	67692a6646	added quadratic extension circuits	2022-10-28 06:53:48 -07:00
John Guibas	e5f455f771	Merge pull request #11 from succinctlabs/challenger ... Challenger	2022-10-10 23:18:13 -07:00
jtguibas	1b9292589c	robust testcases and more data	2022-10-10 23:17:29 -07:00
jtguibas	51b98741b8	changes...	2022-10-10 22:44:59 -07:00
John Guibas	9fa779079a	Merge pull request #10 from succinctlabs/challenger ... Challenger	2022-10-10 21:24:23 -07:00
jtguibas	df3f8082ca	broken challenge array	2022-10-10 21:23:30 -07:00
jtguibas	e9f194c946	fri challenges	2022-10-10 20:45:34 -07:00
jtguibas	84b123d3a8	deserialization	2022-10-10 19:41:07 -07:00
jtguibas	fccd386e06	workign deserialization of proof	2022-10-10 18:43:56 -07:00
jtguibas	831eb8bf9f	new field	2022-10-10 18:00:19 -07:00
jtguibas	a058df6099	small refactor of names	2022-10-10 17:59:55 -07:00
jtguibas	7367106b04	structs and challenges	2022-10-10 17:22:02 -07:00
jtguibas	34cecba095	add structs	2022-10-10 16:41:42 -07:00
John Guibas	57e664f11f	Merge pull request #9 from succinctlabs/challenger ... public_inputs_hash and challenge observe for fiat shamir	2022-10-10 15:12:01 -07:00
jtguibas	cae5d3b45f	added public inputs hash test, challenger test	2022-10-10 15:11:32 -07:00
Jacob Jackson	8798b435d3	strip out comments from original code	2022-10-08 00:28:15 +00:00
Jacob Jackson	e9f22edd02	challenger	2022-10-08 00:27:47 +00:00
John Guibas	ac2e58f3eb	Merge pull request #8 from succinctlabs/john/add-poseidon ... rename test	2022-10-07 17:26:01 -07:00
jtguibas	6e48d2b387	rename test	2022-10-07 17:17:40 -07:00
John Guibas	4e4bdb79b3	Merge pull request #7 from succinctlabs/john/add-poseidon ... goldilocks and poseidon	2022-10-07 17:00:18 -07:00
jtguibas	96bfd45884	goldilocks and poseidon	2022-10-07 16:59:02 -07:00
Jacob Jackson	7d2af3d789	Merge pull request #6 from succinctlabs/signature ... Signature	2022-10-07 02:20:32 -04:00
Jacob Jackson	52dade9335	get signature working	2022-10-07 06:19:24 +00:00
Jacob Jackson	d61e54c60e	remove check that they say is unnecessary	2022-10-05 22:08:11 +00:00
Jacob Jackson	ad21fd775f	minor	2022-10-05 22:06:46 +00:00