614 Commits

Author SHA1 Message Date
Nalin Bhardwaj
07af25546f hardcoreify 2023-01-28 09:27:55 -05:00
Nalin Bhardwaj
997fb4cce8 add more notes to README 2023-01-28 09:24:10 -05:00
Nalin Bhardwaj
b56acbe1a3 add some more comments 2023-01-28 08:59:17 -05:00
ying tong
3d3def0e83 Merge pull request #4 from nalinbhardwaj/nibnalin-changes
Stepify dev and stub out more stuff
2023-01-28 06:53:51 -05:00
Nalin Bhardwaj
ef9f5d9faf rearrange steps 2023-01-28 00:47:07 -05:00
Nalin Bhardwaj
6012b18884 stub out verifier and pull out test 2023-01-28 00:23:59 -05:00
Nalin Bhardwaj
53fa440292 add setup test 2023-01-28 00:03:03 -05:00
Nalin Bhardwaj
a458d7434c add Merlin transcript extension 2023-01-27 23:49:19 -05:00
therealyingtong
7399329558 Plonkathon repo setup 2023-01-27 18:17:53 -05:00
therealyingtong
4e7d282c10 [cleanup] Make py_plonk the root directory 2023-01-15 05:31:06 -05:00
dankrad
17f5047483 Merge pull request #134 from lCardosoSantos/supranational_blst
moved to blst lib
2023-01-10 21:51:12 +00:00
Antonio Sanso
e17d878991 Merge pull request #136 from mdelle1/master
CSIDH adaptation in Sage of Whisk commitment scheme (Part 1)
2023-01-04 10:07:58 +01:00
mdelle1
7e1b2c44bb Update fish.sage 2023-01-03 23:07:49 -05:00
mdelle1
a1e4bda64b Update fish.sage 2023-01-03 23:06:31 -05:00
mdelle1
d84c448cb8 Update fish.sage 2023-01-03 23:05:42 -05:00
mdelle1
7dbfe4e5a3 Update fish.sage 2023-01-03 23:04:43 -05:00
mdelle1
0ba3862570 Update fish.sage 2023-01-03 23:03:19 -05:00
mdelle1
4cd60ee1fd Update fish.sage 2023-01-03 22:58:33 -05:00
mdelle1
51cf2ffb40 added relation_lattices.py 2023-01-03 22:54:05 -05:00
mdelle1
ce10a2a4c7 added fish.sage 2023-01-03 22:50:19 -05:00
Luan Cardoso
5388d91549 improved test 2022-12-14 16:17:01 +01:00
Luan Cardoso dos Santos
d170db8866 Update kzg_data_availability/fft.py
Co-authored-by: dankrad <mail@dankradfeist.de>
2022-12-07 20:47:15 +01:00
Luan Cardoso
25d493fff8 moved to blst lib 2022-12-02 17:50:25 +01:00
dankrad
a84fab2693 Merge pull request #132 from qizhou/opt_rec
Optimized Reed-Solomon code recovery based on danksharding
2022-11-21 21:02:20 +00:00
Qi Zhou
a40e61b196 correct primitive root to 7 2022-11-21 12:59:50 -08:00
vub
3dc95f464b Added warning 2022-11-18 10:02:40 -03:00
vub
0a5f78afb0 Added proof of solvency code 2022-11-18 10:00:55 -03:00
Qi Zhou
3599085a00 add danksharding polynomial reconstruction optimization 2022-11-07 11:48:43 -08:00
Qi Zhou
a1ebd973cc Merge branch 'ethereum:master' into opt_rec 2022-11-07 14:37:35 -05:00
Qi Zhou
6e7a989156 add z_s calculation to optimized RS 2022-10-24 21:55:47 -07:00
Qi Zhou
cdb51bf6c7 optimized RS recovery for danksharding 2022-10-24 10:20:14 -07:00
Qi Zhou
477099d307 RS recovery with optimized zpoly on danksharding 2022-10-11 23:49:11 -05:00
vub
a26cd10596 Cleaned up mini poseidon 2022-10-05 06:59:54 -05:00
vub
06cb5211a4 Updated to t=3, to prevent hash preimage finding 2022-10-04 17:22:03 +02:00
vub
fff55ba7d8 Added Poseidon test 2022-10-03 00:20:27 +02:00
vub
e9ceb2461f removed circom mentions 2022-09-30 18:29:16 +02:00
vub
a53641da33 Added a bunch of comments 2022-09-30 18:24:35 +02:00
vub
2f4497a30f Small tweaks 2022-09-30 11:30:08 +02:00
vub
0a55fab551 Added a much cooler example 2022-09-29 22:43:46 +02:00
vub
8789f141d5 A few edits 2022-09-29 17:25:57 +02:00
vub
bc535dd5ac Added readme 2022-09-29 17:23:54 +02:00
vub
4207d3e349 Changed directory name 2022-09-29 17:17:32 +02:00
vub
8ef8b507ec Added a bunch of comments 2022-09-29 17:17:14 +02:00
vub
6179a6ffe2 Added support for public inputs! 2022-09-29 16:35:14 +02:00
vub
e4fa612b2f Cleaned up unoptimized vs optimized verifier 2022-09-29 12:53:46 +02:00
vub
e424d2c86b Moved everything over to f_inner 2022-09-29 12:22:27 +02:00
vub
c2c59d20cb Verifier works! 2022-09-28 23:21:45 +02:00
vub
117846a705 Finished the proverpython3 test.py ! 2022-09-28 13:05:40 +02:00
vub
d900d585ad Fixed bug in prover 2022-09-28 12:18:52 +02:00
vub
e6ed2847c4 Added first half of linearization polynomial code to prover 2022-09-28 02:39:44 +02:00