From dc47502ad2263f7607c3d7cb4cfd3d2132f248a2 Mon Sep 17 00:00:00 2001 From: Alex Vlasov Date: Mon, 17 Jun 2019 20:17:19 +0300 Subject: [PATCH] update readme --- src/sonic/README.md | 35 +++++++++++++++-------------------- 1 file changed, 15 insertions(+), 20 deletions(-) diff --git a/src/sonic/README.md b/src/sonic/README.md index 9d47757..8c4cf47 100644 --- a/src/sonic/README.md +++ b/src/sonic/README.md @@ -10,24 +10,19 @@ Initial SONIC proof system integration using the code from the [original impleme - Code cleanup - Migration for smart-contract compatible transcripts -## TODO Plan +## Current state -- [x] Test with public inputs -- [x] Test on BN256 -- [x] Parallelize using existing primitives -- [x] Implement polynomial parallelized evaluation -- [x] Make custom transcriptor that is easy to transform into the smart-contract -- [x] Basic Ethereum smart-contract -- [x] Add blinding factors -- [ ] Implement unhelped version - - [x] Implement a part of S poly precomputation (S_2) - - [x] Implement a "well formed" argument - - [x] Implement a coefficients product argument - - [x] Implement a premutation argument - - [ ] Implement synthesizer for proper form of S polynomial -- [ ] Finer tuning - - [x] Parallelized evaluation of S polynomial - - [ ] Parallelize some polynomial operations in the protocol itself - - [x] Parallelized kate division - - [ ] Implement specialized version of polynomial multiplication by degree 1 polynomial - - [ ] Non-assigning variant of the "adaptor" (may require a change of SONIC CS trait) \ No newline at end of file +Beta - fast and valid, but breaking API changes are expected + +## Completed + +- Basic proof modes (helped/unhelped) +- Succinct `S` polynomial evaluation using permutation argument +- High-level API for non-succinct mode that can produce "large enough" SRS from a "global" SRS +- Proving/verifying keys that have additional information about the circuit such as number of gates, linear constraints and public inputs +- Implement non-assigning backends for faster estimation of circuit parameters in un-cached cases + +## TODO Plan +- [ ] Make caching proving/verifying key for succinct mode +- [ ] Fix high-level API for both modes +- [ ] Re-structure the package itself \ No newline at end of file