arnaucube/testudo
1
0
Fork 0
mirror of https://github.com/arnaucube/testudo.git synced 2026-01-12 16:51:28 +01:00
Code Issues Projects Releases Wiki Activity
53 Commits 1 Branch 0 Tags
d2c543a364be4c9669001823cd68e0a3ac21c25f
Commit Graph

10 Commits

Author SHA1 Message Date
maramihali
923c8a727f update workflows for testudo 2022-11-12 00:47:04 +00:00
Mara Mihali
c76f136006 implement spartan verifier as a circuit and verify it with groth16 2022-11-11 15:42:16 +00:00
Mara Mihali
e7242a7b54 implement alternative transcript with poseidon backend 2022-11-11 14:37:20 +00:00
Mara Mihali
b085c670be migrate codebase to arkworks and change curve to bls12-377 2022-11-11 14:26:40 +00:00
Srinath Setty
e1383ff248 clippy fixes (#50) 
* clippy fixes

* remove warning

* fix clippy
 2022-11-11 14:23:03 +00:00
Mara Mihali
cc345b6451 arkworks migration to bls12377 2022-10-12 19:13:39 -04:00
Mara Mihali
dda7a6fb46 stuff 2022-07-20 16:47:57 +01:00
Srinath Setty
cecc2f1b62 Transcript (#46) 
* add items to transcript

* add additional items to transcript

* fix benches

* cargo fmt
 2022-05-12 01:16:05 -07:00
Srinath Setty
19d1d63703 Update to latest Rust and fix Clippy warnings (#37) 
* Update to latest Rust and fix Clippy warnings

* cleanup
 2021-10-14 16:11:19 -07:00
Jakub Konka
7b102a241f Add example proving knowledge of cubic equation solution (#26) 2020-09-16 09:41:13 -07:00