ready to open source #37
Merged
Conversation
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
* refactor * decouple mmcs within fri * fix test bug * Reduce the computational effort of testing --------- Co-authored-by: wangyao <nagatoismdrama@gmail.com>
* refactor * decouple mmcs within fri * fix test bug * update rust-bitcoin replated dependency * use u31_lib * add **/Cargo.lock into .gitignore * delete mmcs within fri --------- Co-authored-by: wangyao <nagatoismdrama@gmail.com>
* refactor bit commitment * add secret_generator * rewrite bc_assignment * refactor some name * init script info structure * add script info structure * fix conflict * refactor script info * add bc assigner to script info
* add interface of planners * add simple planner, to be tested * add simple test for the simple planner * add more test and fix some bugs of simple planner * update .gitignore * add readme for bc planner
* extend mmcs * fix conflict * add test for failed case * fix query index * cargo fmt * add test mmcs get_max_height
* extend mmcs * fix query index * add two_adic_pcs && update fri * add two_adic_pcs * add pcs test * add u31ext_mul_u31 * add pcs::accmulator script * update two_adic_pcs * update permutation as Blake3Permutation for pcs-test * add script_manager for pcs and fri * fmt * update pcs-test and move fri-test * remove unuse code * update Cargo.lock * remove unuse comment and code * fix point bug * optimize comment * fix doc-test --------- Co-authored-by: dylanCai9 <22110240060@m.fudan.edu.cn>
* extend mmcs * fix query index * add two_adic_pcs && update fri * add two_adic_pcs * update two_adic_pcs * update permutation as Blake3Permutation for pcs-test * add script_manager for pcs and fri * fmt * update pcs-test and move fri-test * remove unuse comment and code * migrate p3 unistark * fix --------- Co-authored-by: cyl19970726 <15258378443@163.com>
* compute zps * split script * compute quotient script * refactor and clean
* update ScriptExpression && add ScriptConstraintBuilder && add accmulator script * update script-expression * remove unuse code * add check for variable var_size after executing * update package structure && add num_script_expression && rename script_expression as field_script_expression * update script_expr * update uni-stark/src/lib.rs * remoe unuse code
* add index_to_rou && num_to_field && exp into FieldScriptExpression * move script_expr * fix test bug
* support expr lookup table * compute quotient by expr * resolve review opt
* rewrite fri and pcs with script-expr * debug fold_expr * add copy_var and implement to_copy() for mulk * support copy_to_copy * add opcode and update FieldScriptExpr::mul * update fieldscriptexpr::add,mul,sub,neg,euqal,euqalverify * update fieldexpr::lookup indextorou constant expconst * optimize fieldscriptexpr * fmt * update fieldscriptexer::to_copy() * add dsl * add dsl::exprss_with_optimize * add generate-expr-verifer for unistark * update dsl * add ManagerAssign * embeed manager_assign into bf-stark * remove unused code
* blake3 challenger expr * add PermutationField * reverse_bits_len dsl version * compute x_hint * remove index hint for bit_reverse_len * verify hint of challenger
* fix index_to_rou bug * optimize index 0 case * add comment
* update cargo.toml && cargo fix * cargo fix test
* apply new TCS * remove unuse file * cargo fix --allow-dirty * cargo fix --allow-dirty * cargo clippy --fix * cargo fix --clippy * fix warning
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
Add this suggestion to a batch that can be applied as a single commit.
This suggestion is invalid because no changes were made to the code.
Suggestions cannot be applied while the pull request is closed.
Suggestions cannot be applied while viewing a subset of changes.
Only one suggestion per line can be applied in a batch.
Add this suggestion to a batch that can be applied as a single commit.
Applying suggestions on deleted lines is not supported.
You must change the existing code in this line in order to create a valid suggestion.
Outdated suggestions cannot be applied.
This suggestion has been applied or marked resolved.
Suggestions cannot be applied from pending reviews.
Suggestions cannot be applied on multi-line comments.
Suggestions cannot be applied while the pull request is queued to merge.
Suggestion cannot be applied right now. Please check back later.
No description provided.