Preparations before the first release - #277

Draft

winderica wants to merge 126 commits into

pre-0.1.0-preparations

Commits on Feb 17, 2026

Remove old files
winderica
committed
c79bc82
Refactor: new crate for traits
winderica
committed
5c2632b
Refactor: new crate for primitives
winderica
committed
2b5ebb6

Commits on Feb 21, 2026

Commits on Feb 23, 2026

Better design & convenient traits and utils
winderica
committed
615b223
More polynomial and power utils
winderica
committed
de0599f
Prefer ark_std over std
winderica
committed
c95a117
Cleanup & reduce verbosity
winderica
committed
08b5188
Allow step circuit to have states of any shape
winderica
committed
e63dda9
Separate VC and FS into Def and Ops
winderica
committed
11400e6
Cleanup
winderica
committed
1886efa
FCircuit now allows external outputs
winderica
committed
2576f14
Refactor code for in-circuit relation checks
winderica
committed
1afbefc
Adjust the naming of traits for gadgets
winderica
committed
2130699
Clean up
winderica
committed
ec40773
Discussion about `Absorbable`'s design
winderica
committed
8a066c7
Specify MSRV
winderica
committed
8c2b6b8
Improve naming and API design
winderica
committed
2e9ff82
Fix CI
winderica
committed
6ec10e4
Fix clippy
winderica
committed
f30e971
Actually test wasm targets
winderica
committed
423a038
Add docs for primitives
winderica
committed
f9f26c0
Bring back R1CS and CCS tests
winderica
committed
c1f820c
fmt
winderica
committed
defb4e9
Fix missing trait bounds when enabling parallel feature
winderica
committed
bb03596
Reorganize cargo.toml
winderica
committed
ecbfdbd
Fix and test emulated integers with negative limbs
winderica
committed
4daef2a
Fix broken images in readme
winderica
committed
6cabcaf
New CI
winderica
committed
dbab02b
Actually test wasm targets
winderica
committed
5ccccc7
Notes on terminology
winderica
committed
e6b7828
Refactor: initialize revamped folding scheme impl
winderica
committed
fd2a253
Refactor: improve test template
winderica
committed
2f81747
Refactor: initialize revamped IVC
winderica
committed
f7f46a5
Refactor: skeleton for cyclefold compiler
winderica
committed
c275554
Refactor: dedicated types for plain instance & witness
winderica
committed
cfacb05
Initialize augmented circuit
winderica
committed
70edc08
Fully implement augmented circuit for CycleFold
winderica
committed
7517511
Finish unified CycleFold compiler
winderica
committed
c96086d
Convenience trait for group based folding schemes
winderica
committed
c0d4411
Correctly update CF running instance & witness
winderica
committed
23fe288
Prefer ark_std over std
winderica
committed
ccf63b6
Decider key now contains pk and vk
winderica
committed
cdf86e0
Use generic hash function in CF
winderica
committed
4a4ae73
Initial redesign of decider trait
winderica
committed
2c2750c
Introduce tagged vector for plain instance & witness
winderica
committed
31b2c14
Make fields of CF key and proof visible
winderica
committed
6b0e71f
Allow step circuit to have states of any shape
winderica
committed
1aecf36
We only need 1 public input for primary instances in CF
winderica
committed
0acc752
Separate VC and FS into Def and Ops
winderica
committed
494e2a7
Improve trait design for group based FS
winderica
committed
9265cd9
Add trait bounds for in-circuit challenges
winderica
committed
8ef8788
Further split FS Ops
winderica
committed
8557122
Stateful prover no longer owns pk and step circuit
winderica
committed
c322d53
Adjust the naming of traits for gadgets
winderica
committed
05e8c38
Move trait definitions to their dedicated files
winderica
committed
2f2170a
Clean up
winderica
committed
6c3ec50
Fix CI
winderica
committed
5f58bcb
Fix clippy
winderica
committed
daf3bdf
Declare `wasm-bindgen-test` as dev-dependency
winderica
committed
91ddd27
Add FS & IVC docs
winderica
committed
c2db87f
Fmt
winderica
committed
2afff6e
Refactor: start porting Nova
winderica
committed
b80f07e
Refactor: Allow Nova to have any transcript field
winderica
committed
db2c7cc
Prepare for cyclefold
winderica
committed
806b000
Accumulation scheme compatible interface
winderica
committed
92ba938
In circuit variables for Nova instances and witnesses
winderica
committed
1106020
Implement more traits for Nova instances & witnesses
winderica
committed
b020550
Nova CycleFold adapter
winderica
committed
876cfd7
Hide cross term commitment in Nova
winderica
committed
27c36e0
FS<2, 0> for Nova
winderica
committed
6c82d65
Circuits for 2+0 Nova
winderica
committed
745013c
Cleanup
winderica
committed
69d3ad6
Split impls into separate submodules
winderica
committed
46f750e
Clean up
winderica
committed
2d96c1a
Actually test wasm targets
winderica
committed
bb6f4fd
Add FS & IVC docs
winderica
committed
f418991
Less buggy emulated field equality checks
winderica
committed
7af1d5b
Fix bound limits
winderica
committed
ef739d8
Further clean up Nova FS and IVC
winderica
committed
e1f0c67
Compute digest of public parameters for strong Fiat-Shamir
winderica
committed
19c220f
Use `hash_to_field` for griffin param generation as well
winderica
committed
6795b89
Minor improvements to docs
winderica
committed
842b45a

Commits on May 17, 2026

Include `joint_scalar_mul` so we no longer need a fork
winderica
committed
3e06174
Arkworks 0.6
winderica
committed
c36dee7
Don't ignore lock file
winderica
committed
4330540
Fix clippy
winderica
committed
3a86594

Commits on May 23, 2026

Include state size in augmented circuit and verifier
winderica
committed
4403e20
Ensure Poseidon's alpha and `F::MODULUS - 1` are coprime
winderica
committed
cab289e
Generate Poseidon round numbers in the same way as paper's
winderica
committed
0e7dae0
Add the missing check of in-circuit state against initial state for i=0
winderica
committed
f9f6492
Format
winderica
committed
aee2abc
Don't enforce equality if `should_enforce` is a constant false
winderica
committed
ba7683d
Fix incorrect bounds of quotient `q` in `enforce_congruent`
winderica
committed
2c6c4d7
Don't override the default impl of `enforce_not_equal`
winderica
committed
ccc7c90
Use `kary_and` in `is_eq` for better efficiency
winderica
committed
5cac275
Use `G::MODULUS - 1` as the upper bound when allocating a `G` element
winderica
committed
5049592
Fix clippy
winderica
committed
4d19a9d
Fix the issue where chunked values are larger than the field capacity
winderica
committed
f9b8232
Fix unsafe `zip`s
winderica
committed
13ead24
Refactor `ArithConfig` to allow modifying the number of public inputs
winderica
committed
9ffbde3
Bump dependencies
winderica
committed
157495a

Commits on May 26, 2026

Check R1CS validity by default
winderica
committed
29b3ce4

Commits on May 28, 2026

Implement recording and replaying transcripts so we don't need to return challenges explicitly
winderica
committed
3e766a1
Fix typos
winderica
committed
dec2ccc

Commits on Jun 1, 2026

Absorb full field elements rather than repacked field elements
winderica
committed
568dd04
Fix grammar
winderica
committed
a038427

Commits on Jun 25, 2026

Remove the unused `FpVar::from_bounded_bits_le` implementation
winderica
committed
0f35c77

Commits on Jun 27, 2026

Fix the off by one bug when enforcing equality of unaligned emulated integers
winderica
committed
de25096
Revert to arkworks' unoptimized but sound scalar multiplication gadget for the stable release
winderica
committed
e6fb5de
Fmt
winderica
committed
590d780
Fix state inconsistency again
winderica
committed
417a21f
Absorb domain separator's length consistently across different platforms
winderica
committed
6364d04
Ensure challenges order consistency when creating replay transcript via `from` and `new`
winderica
committed
cf62d65
Improve the robustness of poseidon config generation
winderica
committed
7f5a6c7
Fix off by one when chunking the domain separator
winderica
committed
f89b262
Manually implement R1CS deserialization for custom validity check
winderica
committed
6cb7766
Check state shape for i = 0 as well
winderica
committed
a6232bb

Commits on Jul 19, 2026

Traits for consistent in-circuit <> out-of-circuit linkage
winderica
committed
394332d
More convenient helpers for accessing associated types
winderica
committed
6139985
Rename CM::Scalar -> CM::Unit for better clarity
winderica
committed
91bc778