tornado-packages/phase2-bn254
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

update a progress

Browse Source
This commit is contained in:
Alex Vlasov 2019-02-23 16:04:31 -05:00
parent b5e024162d
commit cbf95acb11
1 changed files with 6 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

7
src/sonic/README.md
View File

@ -19,4 +19,9 @@ Initial SONIC proof system integration using the code from the [original impleme
- [x] Make custom transcriptor that is easy to transform into the smart-contract - [x] Make custom transcriptor that is easy to transform into the smart-contract
- [x] Basic Ethereum smart-contract - [x] Basic Ethereum smart-contract
- [x] Add blinding factors - [x] Add blinding factors
- [ ] Implement unhelped version - [ ] Implement unhelped version
- [x] Implement a part of S poly precomputation (S2)
- [x] Implement a "well formed" argument
- [ ] Implement a coefficients product argument
- [ ] Implement a premutation argument
- [ ] Implement synthesizer for proper form of S polynomial