ready to open source (#37)

* decouple mmcs (#2)

* refactor

* decouple mmcs within fri

* fix test bug

* Reduce the computational effort of testing

---------

Co-authored-by: wangyao <nagatoismdrama@gmail.com>

* 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 <nagatoismdrama@gmail.com>

* 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 <22110240060@m.fudan.edu.cn>

* 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 <15258378443@163.com>

* 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 <nagatoismdrama@gmail.com>
Co-authored-by: AndreW0ng <Andrew0ng@bitlayer.ltd>
Co-authored-by: dylanCai9 <22110240060@m.fudan.edu.cn>

.gitignore

@@ -6,7 +6,10 @@ target/
 # Remove Cargo.lock from gitignore if creating an executable, leave it for libraries
 # More information here https://doc.rust-lang.org/cargo/guide/cargo-toml-vs-cargo-lock.html
 Cargo.lock
+**/Cargo.lock
 
 # These are backup files generated by rustfmt
 **/*.rs.bk
 
+.DS_Store
+.vscode/