issues
search
snarkify
/
sirius
A Plonkish folding framework for Incrementally Verifiable Computation (IVC).
MIT License
119
stars
17
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
feat(nifs): impl pub instances check
#360
cyphersnake
closed
2 days ago
0
feat(example): instance example for manual test
#359
cyphersnake
closed
2 days ago
0
fix(plonk): algo for permutation
#358
cyphersnake
closed
2 days ago
0
feat(nifs): `Foldable` wrapper for trace
#357
cyphersnake
closed
2 days ago
0
fix(gadgets): bugs in assign_bit
#356
cyphersnake
closed
5 days ago
1
refactor(nifs): add `FoldedPlonk*` newtype
#355
cyphersnake
closed
5 days ago
0
feat(ivc): accumulation of step circuit instances
#354
cyphersnake
closed
5 days ago
1
feat(ivc): impl `instances_accumulator_computation`
#353
cyphersnake
closed
5 days ago
0
feat(nifs): cutting a copy constraint from sc
#352
cyphersnake
closed
5 days ago
0
refactor(nifs): remaster permutation in `PlonkStructure`
#351
cyphersnake
closed
5 days ago
0
refactor(nifs): rm instances from `RelaxedPlonkInstance`
#350
cyphersnake
closed
1 week ago
1
feat(ivc): cut of perm matrix in relaxed check
#349
cyphersnake
closed
1 week ago
0
refactor(ivc): use `ConsistencyMarkersComputation` name
#348
cyphersnake
closed
2 weeks ago
0
feat(plonk): support of instances in perm
#347
cyphersnake
closed
2 weeks ago
0
feat(sfc): step-circuit instances permutation
#346
cyphersnake
closed
2 weeks ago
1
feat(ivc): folding of instances
#345
cyphersnake
closed
2 weeks ago
1
feat(plonk): support of instances
#344
cyphersnake
closed
2 weeks ago
0
feat(nifs): support of instances in folding scheme
#343
cyphersnake
closed
4 weeks ago
0
feat(sc): instance column API
#342
cyphersnake
closed
4 weeks ago
0
feat: upd API with instances columns
#341
cyphersnake
closed
4 weeks ago
0
feat(nifs): `IsSatAccumulator::is_sat_commit` for protogalaxy
#340
cyphersnake
closed
1 month ago
0
feat(nifs): impl `protogalaxy::is_sat_acc`
#339
cyphersnake
closed
1 month ago
0
fix(nifs): impl `PolyContext` for protogalaxy
#338
cyphersnake
closed
1 month ago
0
feat(poly): add functionality to `univariate` mod
#337
cyphersnake
closed
1 month ago
0
refactor(fft): rm `fft_domain_size` from args
#336
cyphersnake
closed
1 month ago
0
feat: impl `MockProver` for `StepCircuit`
#335
cyphersnake
closed
1 month ago
0
feat(ivc): ivc circuit with private inputs
#334
chaosma
closed
1 month ago
0
refactor: simplify trivial example
#333
cyphersnake
closed
1 month ago
0
chore: bump version to v0.1.1
#332
cyphersnake
closed
1 month ago
0
refactor(nifs): mv `Relaxed*` into 'nifs::vanilla'
#331
cyphersnake
closed
1 month ago
0
docs: general architectural documentation
#330
cyphersnake
closed
1 week ago
0
feat(sp): instance columns public API
#329
cyphersnake
closed
2 weeks ago
1
feat(plonk): multiphase sps
#328
cyphersnake
opened
2 months ago
0
feat(table): multiphase circuit-runner
#327
cyphersnake
opened
2 months ago
0
feat(table): multiphase witness-collector
#326
cyphersnake
opened
2 months ago
0
feat(nifs): impl `ProtoGalaxy::is_sat_acc`
#325
cyphersnake
closed
1 month ago
1
feat(nifs): parallel `tree_reduce` in `protogalxy::poly`
#324
cyphersnake
opened
2 months ago
1
fix: compatibility with zkevm
#323
cyphersnake
closed
2 months ago
1
refactor(nifs): API for `is_sat_relaxed`
#322
cyphersnake
closed
1 month ago
0
feat(ivc): make sirius compatible to fold zkevm circuits
#321
chaosma
closed
2 months ago
2
feat(nifs): impl protogalaxy::verify
#320
cyphersnake
closed
1 month ago
0
feat(ivc): support large step circuit size
#319
chaosma
opened
2 months ago
0
test(nifs): impl `protogalaxy::{fibo, fibo_with_lookup}`
#318
cyphersnake
closed
2 months ago
0
feat(commitment): add KZG commitment
#317
chaosma
opened
2 months ago
3
feat(plonk): support folding of public inputs in step circuit
#316
chaosma
closed
2 days ago
12
feat(plonk): support multiple phase halo2 circuit
#315
chaosma
opened
2 months ago
5
test(nifs): test for protogalaxy
#314
cyphersnake
closed
2 months ago
3
refactor(nifs): tests of nifs
#313
cyphersnake
closed
2 months ago
0
feat(nifs): impl `Protogalaxy::prove`
#312
cyphersnake
closed
2 months ago
5
refactor(nifs): err in `nifs::FoldingScheme`
#311
cyphersnake
closed
2 months ago
0
Next