Skip to content

Activity

Showing most recent first

optimize challenger_dsl (#42)

Pull request merge
daz635638pushed 1 commit to master • 05e9f28…781a634 • 
on Dec 12, 2024

merge master

cyl19970726pushed 4 commits to add-challenge-dsl • 6686cea…80021f4 • 
on Dec 12, 2024

remove unuse code

cyl19970726pushed 1 commit to add-challenge-dsl • d067767…6686cea • 
on Dec 12, 2024

check challenger dsl

cyl19970726created add-challenge-dsl • d067767 • 
on Dec 12, 2024

fix TapSTARK

lynndell2010pushed 1 commit to lynndell2010 • ba63ead…69f9a4f • 
on Dec 10, 2024

Add Tap-STARK Technologies.pdf (#40)

Pull request merge
daz635638pushed 1 commit to master • 365af4e…05e9f28 • 
on Dec 10, 2024

Add Tap-STARK Technologies.pdf

lynndell2010pushed 1 commit to lynndell2010 • 365af4e…ba63ead • 
on Dec 10, 2024

add license (#38)

lynndell2010created lynndell2010 • 365af4e • 
on Dec 10, 2024

TapStark --> TapSTARK

cyl19970726created cyl19970726-patch-1 • b5671e3 • 
on Dec 9, 2024

add license (#38)

Pull request merge
wz14pushed 1 commit to master • 04b8359…365af4e • 
on Dec 9, 2024

add license

wz14created add_license • a6281b7 • 
on Dec 9, 2024

Update README.md

cyl19970726pushed 1 commit to master • 5a8a2c0…04b8359 • 
on Dec 1, 2024

add README.md (#36)

cyl19970726created master • 5a8a2c0 • 
on Dec 1, 2024

ready to open source (#37)

Pull request merge
cyl19970726pushed 1 commit to main • dbbdc2e…d237d30 • 
on Dec 1, 2024

add README.md (#36)

Pull request merge
cyl19970726pushed 1 commit to dev • 81dd0f2…5a8a2c0 • 
on Dec 1, 2024

add README.md

cyl19970726created add_readme • a8fabfb • 
on Dec 1, 2024

Apply TCS (#35)

Pull request merge
cyl19970726pushed 1 commit to dev • aba642e…81dd0f2 • 
on Dec 1, 2024

fix warning

cyl19970726pushed 1 commit to apply-tcs • 1e6326b…502a54e • 
on Dec 1, 2024

cargo fix --clippy

cyl19970726pushed 1 commit to apply-tcs • ad8c77d…1e6326b • 
on Dec 1, 2024

cargo clippy --fix

cyl19970726pushed 3 commits to apply-tcs • f3a9d23…ad8c77d • 
on Dec 1, 2024

remove unuse file

cyl19970726pushed 1 commit to apply-tcs • d51525c…f3a9d23 • 
on Dec 1, 2024

apply new TCS

cyl19970726created apply-tcs • d51525c • 
on Dec 1, 2024

compute_eval_u from idft

dylanCai9pushed 1 commit to r0-recursive • 7c13717…546816b • 
on Oct 11, 2024

fix mul_air test

cyl19970726pushed 1 commit to r0-recursive • 60a1fe2…7c13717 • 
on Oct 9, 2024

fix preprocess_trace

cyl19970726pushed 1 commit to r0-recursive • 443574e…60a1fe2 • 
on Oct 7, 2024

add symbolic prover and symbolic verifier

cyl19970726pushed 1 commit to r0-recursive • 6e8fde8…443574e • 
on Oct 7, 2024

fix bug

cyl19970726pushed 2 commits to r0-recursive • d7054d9…6e8fde8 • 
on Oct 7, 2024

update symbolic-verifier

cyl19970726pushed 1 commit to r0-recursive • caab56e…d7054d9 • 
on Oct 7, 2024

symbolic_verifier.rs

cyl19970726pushed 1 commit to r0-recursive • 8003a7d…caab56e • 
on Oct 6, 2024

add air_trace_builder and air_constraint_builder

cyl19970726created r0-recursive • 8003a7d • 
on Oct 6, 2024