Robin Salen
0362deb648
Bump patch version
2025-01-30 15:15:15 -05:00
Robin Salen
6eb63f0200
Bump versions
2025-01-28 11:41:20 -05:00
Robin Salen
6d1b99e5ca
v1.0.0 release ( #1637 )
...
* Update CHANGELOG
* Bump versions
2024-11-26 02:58:04 +09:00
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
Sai
7959bd22ce
Refactor CTL Handling ( #1629 )
...
* refactor
* fmt
* fmt
* sync target version
* fix
* fix clippy
* fix clippy
2024-10-09 08:29:34 -07: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
Simon Perriard
a4efbe8369
Fix example and documentation rendering ( #1614 )
...
* Fix starky runnable doc example and fix cargo doc
* Formatting and Clippy
* bump katex version and add config.toml
* Update README for local doc and add flag for docs.rs
* Add missing whitespace
---------
Co-authored-by: Robin Salen <30937548+Nashtare@users.noreply.github.com>
Co-authored-by: Ben <bmarsh94@gmail.com>
2024-08-29 12:22:37 +00:00
Robin Salen
9fdf1b8ef4
Add connect_array convenience method in CircuitBuilder ( #1620 )
...
* Add connect_array method
* Pacify clippy
* Wording
2024-08-27 20:56:19 +00:00
Robin Salen
bb8f388091
chore: remove compressed StarkProof variant ( #1618 )
2024-08-22 08:07:04 +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
Robin Salen
f5a5845bc8
Observe public inputs ( #1607 )
2024-07-04 06:35:06 +09:00
Hamy Ratoanina
42a821dfde
Add row index to constraint failure message ( #1598 )
2024-06-12 06:58:41 +09:00
Robin Salen
217b4a272c
Clarify zk usage with starky ( #1596 )
2024-06-09 01:01:43 +09:00
nuno
42e048f45d
Allow multiple extra_looking_sums for the same looked table ( #1591 )
2024-06-05 03:10:46 +09:00
Matthias Görgens
8030ea43ff
Fix CTL generation of last row ( #1585 )
...
Not all `correct` cross table lookups use padding for the last row.
2024-06-01 22:15:53 +09:00
nuno
cfccc1b8b6
change set_stark_proof_target's witness to WitnessWrite ( #1592 )
2024-06-01 22:15:26 +09:00
Daniel-Aaron-Bloom
15836d9d8c
doc+fix: clippy::doc-lazy-continuation ( #1594 )
2024-05-29 07:20:44 +09:00
Matthias Görgens
246c4a6fcf
Fix verify_cross_table_lookups with no ctl_extra_looking_sums ( #1584 )
...
This used to fail with an out of bounds error when `None` was passed for
`ctl_extra_looking_sums`.
2024-04-27 00:35:02 +09:00
Matthias Görgens
ca362ee3d0
Remove restriction to binary-only multiplicities ( #1577 )
2024-04-27 00:32:41 +09:00
yanziseeker
56e1b98d32
Update unconstrained_stark.rs ( #1578 )
2024-04-22 22:54:03 +09:00
Matthias Görgens
72c1c90748
Remove obsolete function ceil_div_usize ( #1574 )
2024-04-19 22:00:03 +09:00
Robin Salen
76da138338
Bump versions pre-release ( #1569 )
2024-04-16 20:10:19 +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
Bob Niu
3e89c7c24c
refactor code
2024-03-22 16:22:05 +08:00
Hamy Ratoanina
54cee24b36
Bump versions pre-release ( #1557 )
2024-03-21 14:34:41 -04: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
Robin Salen
2a2becc415
Fix CTLs with exactly two looking tables ( #1555 )
2024-03-14 23:30:18 +09:00
Robin Salen
66127bcf73
Bump starky ( #1549 )
2024-02-29 22:54:08 +00:00
Robin Salen
44dc0f96ff
Add mention to versions in local dependencies ( #1546 )
2024-02-28 06:27:21 +00:00
David
16746f1ed7
chore: remove conditional compilation for debug_utils ( #1540 )
...
* chore: remove conditional compilation for debug_utils
* chore: update CHANGELOG
2024-02-23 09:39:10 -05:00
Robin Salen
c94dc6f858
Version bump pre-release ( #1536 )
...
* Bump versions
* Bump hashbrown and ahash accordingly
* Update changelog
2024-02-20 14:50:43 -05:00
Robin Salen
6c9588aaea
Update licenses and dependencies ( #1534 )
2024-02-19 07:35:51 -05:00
Ford
da85f1be36
typo ( #1533 )
2024-02-18 15:25:16 +00:00
Robin Salen
3ec1bfddb3
Update starky and leverage it as dependency for plonky2_evm ( #1503 )
...
* Update prover logic
* Add helper method for CTL data
* Some cleanup
* Update some methods
* Fix
* Some more fixes
* More tweaks
* Final
* Leverage starky crate
* Additional tweaks
* Cleanup
* More cleanup
* Fix
* Cleanup imports
* Fix
* Final tweaks
* Cleanup and hide behind debug_assertions attribute
* Clippy
* Fix no-std
* Make wasm compatible
* Doc and remove todo
* API cleanup and remove TODO
* Add Debug impls
* Add documentation for public items
* Feature-gate alloc imports
* Import method from starky instead
* Add simple crate and module documentation
* Apply comments
* Add lib level documentation
* Add test without lookups
* Fix starks without logup
* Cleanup
* Some more cleanup
* Fix get_challenges for non-lookup STARKs
* Add additional config methods and tests
* Apply comments
* More comments
2024-02-13 11:47:54 -05:00
Robin Salen
06444eaaf3
Switch permutation argument for logUp in starky ( #1496 )
...
* Switch permutation argument for logUp in starky
* Apply comments
* Refactor check_lookup_options
* Comments
* Add more visibility
* std -> core
* Revert "Add more visibility"
This reverts commit 2b4e50e0e7fc7676814b1bc1f4071d9ec0ab9d5c.
* Add more visibility to lookup items
2024-02-06 17:57:40 +00:00
Robin Salen
bb48cabdb1
Add math rendering with Katex ( #1459 )
2024-01-12 17:07:18 +01:00
Robin Salen
c2a73ad89f
Fix clippy ( #1464 )
2024-01-12 15:09:19 +01:00
David
a291d92c01
Merge pull request #1392 from 0xPolygonZero/dp-from_values-take-ref
...
`PolynomialBatch::from_values` takes refs
2023-12-19 12:14:10 +00:00
yanziseeker
43ecf1dff3
chore: fix some comment typos
2023-12-08 10:17:07 +00:00
Robin Salen
2d36559dad
Make some functions const ( #1407 )
2023-12-05 13:41:31 -05:00
David Palm
e68195fc0d
chore: Remove TODOs about from_values taking a reference
2023-11-30 15:10:34 +01:00
David Palm
37918cccfd
Revert "chore: from_values takes ref"
...
This reverts commit 7cc123e0a442d41a3610a57a2ee4f8008ef5811f.
2023-11-30 15:07:10 +01:00
David Palm
7cc123e0a4
chore: from_values takes ref
2023-11-29 09:09:36 +01:00
Matteo Muraca
605932d149
restore no-std support ( #1335 )
...
* perform test action on `x86_64-unknown-linux-gnu` and `wasm32-unknown-unknown`
Signed-off-by: muraca <mmuraca247@gmail.com>
* make `plonky2` build on `wasm32-unknown-unknown`
Signed-off-by: muraca <mmuraca247@gmail.com>
* make `starky` build on `wasm32-unknown-unknown`
small oversight on `plonky2` fixed
Signed-off-by: muraca <mmuraca247@gmail.com>
* skip `evm` folder if target is `wasm32-unknown-unknown`
Signed-off-by: muraca <mmuraca247@gmail.com>
* add `default: true` to toolchain
Signed-off-by: muraca <mmuraca247@gmail.com>
* skip `test` if target is `wasm32-unknown-unknown`
Signed-off-by: muraca <mmuraca247@gmail.com>
* single ticks instead of double
Signed-off-by: muraca <mmuraca247@gmail.com>
* explicit target
Signed-off-by: muraca <mmuraca247@gmail.com>
* wasm32 job
Signed-off-by: muraca <mmuraca247@gmail.com>
* added `--no-default-features` to checks
Signed-off-by: muraca <mmuraca247@gmail.com>
---------
Signed-off-by: muraca <mmuraca247@gmail.com>
2023-11-07 17:10:44 -05:00
bing
8326db604c
refactor: remove usage of unstable generic_const_exprs in starky ( #1300 )
2023-10-23 20:20:00 -04:00
BGluth
a02a2ecb97
Updated mir-protocol --> 0xPolygonZero
...
- Recently the underlying org name on Github changed to `0xPolygonZero`.
- This was causing some issues with dependencies downstream where a
dependency pointing to the old org name was seen as a different
dependency that was using the new org name.
- Using a `[patch] section in `Cargo.toml` was running into issues where
we couldn't get it to get all dependency versions using a single org
name.
2023-10-12 11:11:17 -06:00
BGluth
5936c67f59
Now refers to sub-crates using paths (and removed patch section)
...
- Previously refered to specific `crates.io` versions.
- Motivation for this is to allow external projects to be able use
specific revisions of this repo. Without this, a `[patch]` section
is almost always required in the external project in order to force
the internal plonky2 sub-crates to the same version, an approach which
comes with its own issues.
2023-09-07 16:36:38 -06:00
Robin Salen
9f8c152222
Remove unused attributes
2023-08-02 08:54:20 -04:00
Nicholas Ward
8432195517
update versions in cross-crate references
2023-07-31 16:34:27 -07:00
Nicholas Ward
3a55602909
update versions for crates.io updates
2023-07-31 16:31:22 -07:00
