Skip to content

ready to open source #37

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Merged
cyl19970726 merged 25 commits into from
Dec 1, 2024
Merged

ready to open source #37

Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
25 commits
Select commit Hold shift + click to select a range
175ab76
decouple mmcs (#2)
cyl19970726 Jun 15, 2024
e09e5c9
decouple u31 (#5)
cyl19970726 Jun 17, 2024
a9986e0
Bitcommitment manager [Part 1] (#6)
wz14 Jun 18, 2024
a56c53b
Bitcommitment Manager (part 2) (#7)
wz14 Jun 19, 2024
ac4739c
feat: extend mmcs (#10)
dylanCai9 Jun 20, 2024
8f88771
add two_adic_pcs (#11)
cyl19970726 Jul 1, 2024
dae8f0c
migrate p3 unistark (#17)
dylanCai9 Jul 8, 2024
519960e
add scripts_expression (#19)
cyl19970726 Jul 9, 2024
3dfd144
remove cargo.lock (#20)
nagatoism Jul 9, 2024
2876743
compute quotient script (#22)
dylanCai9 Jul 15, 2024
44fe9b4
use ScriptExpression to generate script for trace constraints (#23)
cyl19970726 Jul 15, 2024
bd81d34
add index_to_rou && num_to_field && exp into FieldScriptExpression (#24)
cyl19970726 Jul 17, 2024
3e3aba2
Move ScriptExpr && Add Fraction && Add SelectorExpr (#25)
cyl19970726 Jul 18, 2024
b4a63f7
Compute quotient expr (#26)
dylanCai9 Jul 19, 2024
aaf983c
ADD README.md (#27)
cyl19970726 Jul 22, 2024
b4ce10c
generate-dsl-verifier for unistark && optimize Dsl (#29)
cyl19970726 Aug 6, 2024
e427d6e
Update README.md
cyl19970726 Aug 7, 2024
212429f
add value_manager
cyl19970726 Aug 16, 2024
d1b82d1
fix test (#31)
cyl19970726 Aug 19, 2024
e76ad72
blake3 challenger expr (#30)
dylanCai9 Aug 26, 2024
08ddcb9
Fix index_to_rou bug (#32)
dylanCai9 Aug 29, 2024
b651fff
Proof Serialize and Deserialize (#33)
dylanCai9 Aug 29, 2024
aba642e
Adapter bitcoin verifier (#34)
cyl19970726 Aug 30, 2024
81dd0f2
Apply TCS (#35)
cyl19970726 Dec 1, 2024
5a8a2c0
add README.md (#36)
cyl19970726 Dec 1, 2024
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
3 changes: 3 additions & 0 deletions .gitignore
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -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/
Loading