Revamped Mova -> staging - #245

Draft

winderica wants to merge 96 commits into

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
Refactor: port sumcheck, circuit traits, and more
winderica
committed
4fd4472
Refactor: A unifed absorb trait for native and nonnative
winderica
committed
5e8d378
Refactor: move `FCircuit`'s field bound to associated type
winderica
committed
4d01dfe
Refactor: move various traits to their dedicated submodules
winderica
committed
644d11c
Remove referenceable
winderica
committed
bded872
Cleanup
winderica
committed
7df4760
Better design & convenient traits and utils
winderica
committed
3101c7f
More polynomial and power utils
winderica
committed
638f248
Prefer ark_std over std
winderica
committed
44d6628
Cleanup & reduce verbosity
winderica
committed
7317892
Allow step circuit to have states of any shape
winderica
committed
a3ad72b
Separate VC and FS into Def and Ops
winderica
committed
5f693fd
Cleanup
winderica
committed
3e8206b
FCircuit now allows external outputs
winderica
committed
f750548
Refactor code for in-circuit relation checks
winderica
committed
3f1ed97
Adjust the naming of traits for gadgets
winderica
committed
f7a73b3
Clean up
winderica
committed
5c9a8c4
Discussion about `Absorbable`'s design
winderica
committed
a4c5000
Specify MSRV
winderica
committed
a36bf46
Improve naming and API design
winderica
committed
ebae8c4
Fix CI
winderica
committed
1dbdf21
Fix clippy
winderica
committed
da29e88
Actually test wasm targets
winderica
committed
11fb8b1
Add docs for primitives
winderica
committed
0f4a90d
Bring back R1CS and CCS tests
winderica
committed
79e578b
fmt
winderica
committed
6f918ba
Fix missing trait bounds when enabling parallel feature
winderica
committed
1229c5c
Reorganize cargo.toml
winderica
committed
df327df
Fix and test emulated integers with negative limbs
winderica
committed
5e186c7
Fix broken images in readme
winderica
committed
bd33ed0
New CI
winderica
committed
226f961
Actually test wasm targets
winderica
committed
9b7f4d6
Notes on terminology
winderica
committed
44fa229
Refactor: initialize revamped folding scheme impl
winderica
committed
7fdcd86
Refactor: improve test template
winderica
committed
9982261
Refactor: initialize revamped IVC
winderica
committed
c608afe
Refactor: skeleton for cyclefold compiler
winderica
committed
b4f50d9
Refactor: dedicated types for plain instance & witness
winderica
committed
35b0459
Initialize augmented circuit
winderica
committed
9383495
Fully implement augmented circuit for CycleFold
winderica
committed
2e50af4
Finish unified CycleFold compiler
winderica
committed
18b24b0
Convenience trait for group based folding schemes
winderica
committed
ec8e739
Correctly update CF running instance & witness
winderica
committed
a57c9b6
Prefer ark_std over std
winderica
committed
2cb766f
Decider key now contains pk and vk
winderica
committed
86a9415
Use generic hash function in CF
winderica
committed
867220a
Initial redesign of decider trait
winderica
committed
ea6cb01
Introduce tagged vector for plain instance & witness
winderica
committed
09b8075
Make fields of CF key and proof visible
winderica
committed
0d6f6a1
Allow step circuit to have states of any shape
winderica
committed
5b33e69
We only need 1 public input for primary instances in CF
winderica
committed
d63173f
Separate VC and FS into Def and Ops
winderica
committed
85b5023
Improve trait design for group based FS
winderica
committed
c4ab18e
Add trait bounds for in-circuit challenges
winderica
committed
dbc9fe6
Further split FS Ops
winderica
committed
0fca7de
Stateful prover no longer owns pk and step circuit
winderica
committed
c723942
Adjust the naming of traits for gadgets
winderica
committed
d0ec531
Move trait definitions to their dedicated files
winderica
committed
d715587
Clean up
winderica
committed
727ba2d
Improve naming and API design
winderica
committed
461c0ef
Fix CI
winderica
committed
81a47c6
Fix clippy
winderica
committed
4792dc4
Declare `wasm-bindgen-test` as dev-dependency
winderica
committed
1c6a8b2
Add FS & IVC docs
winderica
committed
0b64900
Fmt
winderica
committed
3fb63b5
Refactor: start porting Nova
winderica
committed
a692460
Refactor: Allow Nova to have any transcript field
winderica
committed
c9e7dce
Prepare for cyclefold
winderica
committed
e294f00
Accumulation scheme compatible interface
winderica
committed
086df2e
In circuit variables for Nova instances and witnesses
winderica
committed
0fb6ede
Implement more traits for Nova instances & witnesses
winderica
committed
d9214ee
Nova CycleFold adapter
winderica
committed
b4de64f
Hide cross term commitment in Nova
winderica
committed
f2be215
FS<2, 0> for Nova
winderica
committed
c1fc8ff
Circuits for 2+0 Nova
winderica
committed
d9f2cb4
Cleanup
winderica
committed
9ea5b52
Split impls into separate submodules
winderica
committed
461720b
Clean up
winderica
committed
796ed35
Actually test wasm targets
winderica
committed
ec71a50
Add FS & IVC docs
winderica
committed
0e51dca
Refactor: start porting Ova
winderica
committed
1a8e927
Refactor: allow Ova to have any transcript field
winderica
committed
32d2cf7
Prepare for cyclefold
winderica
committed
4ba9949
In circuit variables for Ova instances and witnesses
winderica
committed
69c0018
Ova adapter
winderica
committed
fbb2b62
Split impls into separate submodules
winderica
committed
3b61587
Actually test wasm targets
winderica
committed
96e3b7b
Add Ova docs
winderica
committed
0c0c9e1
Refactor: start porting Mova
winderica
committed
126416d
Circuits and CF adapter for Mova
winderica
committed
3688ecd
Split impls into separate submodules
winderica
committed
2c858b2
Actually test wasm targets
winderica
committed
7c71e0f
Add Mova docs
winderica
committed
707b234