Sai
7203b7ad0b
Unified Recursion Circuit for Multi-Degree Starky Proof Verification ( #1635 )
...
* add test
* wip
* update witness util
* degree_bits: usize->target
* wip
* fix
* opt
* passed 3 tests
* fix
* convert g to g_ext
* hack observe final poly coeffs
* wip
* poc works
* wip
* pass tests
* more in test
* better test
* fix ci
* clippy
* fix
* fix
* start on multi steps
* wip
* set all zeros
* wip
* challenge passes
* work
* poc done
* fix non std build
* add comments
* update stark verifier
* fix clippy
* fix test build
* fix tests
* add comments
* add checks
* polish the checks
* more checks
* comments
2024-11-26 01:58:08 +09:00
Arman Aurobindo
27a972f1cb
Added serialize and deserialize to starky proofs ( #1630 )
...
* changed to web-time in circuit_builder
* Rustfmt
* lint
* added serialize and deseralize to starky proofs
* linting fix
---------
Co-authored-by: Robin Salen <30937548+Nashtare@users.noreply.github.com>
2024-10-03 03:06:06 +09:00
Robin Salen
349beae143
Do not panic on wire set twice or generator not run issues ( #1611 )
...
* Do not panic on wire set twice or generator not run issues
* No std
2024-08-08 03:53:14 +09:00
Matthias Goergens
0731fec251
Simplify types: remove option from CTL filters
...
CTL filters can already express perfectly well the behaviour that we
gave for `None`. No need to complicated anything.
Plus some random lint fixes that clippy demanded..
2024-04-15 17:14:54 +08:00
Alonso González
4f8e631550
Prove Starks without constraints ( #1552 )
...
* Enable starks without constraints
* Clippy
* Add test stark without constraints
* Missing file
* Missing changes in the recursive side
* Fix bug with recursion
* Missing import
* Clippy
* Apply suggestions from code review
Co-authored-by: Robin Salen <30937548+Nashtare@users.noreply.github.com>
* Address reviews
* Fix TODO
* Apply suggestions from code review
Co-authored-by: Linda Guiga <101227802+LindaGuiga@users.noreply.github.com>
* More reviews
* Fix bug in eval_helper_columns
* Apply suggestions from code review
Co-authored-by: Robin Salen <30937548+Nashtare@users.noreply.github.com>
* Address reviews
* Allow <= blowup_factor + 1 constraints + reviews
* Add unconstrined Stark
* Missing file
* Remove asserts
---------
Co-authored-by: Robin Salen <30937548+Nashtare@users.noreply.github.com>
Co-authored-by: Linda Guiga <101227802+LindaGuiga@users.noreply.github.com>
2024-03-15 11:43:45 +00:00
