Apply TCS #35
Merged
Apply TCS #35
Conversation
This file contains 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
cyl19970726
added a commit
that referenced
this pull request
Dec 1, 2024
* decouple mmcs (#2) * refactor * decouple mmcs within fri * fix test bug * Reduce the computational effort of testing --------- Co-authored-by: wangyao <[email protected]> * decouple u31 (#5) * 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 <[email protected]> * Bitcommitment manager [Part 1] (#6) * 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 * Bitcommitment Manager (part 2) (#7) * 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 * feat: extend mmcs (#10) * extend mmcs * fix conflict * add test for failed case * fix query index * cargo fmt * add test mmcs get_max_height * add two_adic_pcs (#11) * 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 <[email protected]> * migrate p3 unistark (#17) * 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 <[email protected]> * add scripts_expression (#19) * remove cargo.lock (#20) * compute quotient script (#22) * compute zps * split script * compute quotient script * refactor and clean * use ScriptExpression to generate script for trace constraints (#23) * 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 (#24) * Move ScriptExpr && Add Fraction && Add SelectorExpr (#25) * add index_to_rou && num_to_field && exp into FieldScriptExpression * move script_expr * fix test bug * Compute quotient expr (#26) * support expr lookup table * compute quotient by expr * resolve review opt * ADD README.md (#27) * generate-dsl-verifier for unistark && optimize Dsl (#29) * 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 * Update README.md * add value_manager * fix test (#31) * blake3 challenger expr (#30) * 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 (#32) * fix index_to_rou bug * optimize index 0 case * add comment * Proof Serialize and Deserialize (#33) * Adapter bitcoin verifier (#34) * update cargo.toml && cargo fix * cargo fix test * Apply TCS (#35) * apply new TCS * remove unuse file * cargo fix --allow-dirty * cargo fix --allow-dirty * cargo clippy --fix * cargo fix --clippy * fix warning * add README.md (#36) --------- Co-authored-by: wangyao <[email protected]> Co-authored-by: AndreW0ng <[email protected]> Co-authored-by: dylanCai9 <[email protected]>
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.