v0.2.0

Implemented Cyclefold + Protogalaxy

What's Changed

• feat: impl MockProver for StepCircuit by @cyphersnake in #335
• refactor(fft): rm fft_domain_size from args by @cyphersnake in #336
• feat(poly): add functionality to univariate mod by @cyphersnake in #337
• fix(nifs): impl PolyContext for protogalaxy by @cyphersnake in #338
• feat(nifs): impl protogalaxy::is_sat_acc by @cyphersnake in #339
• feat(sc): instance column API by @cyphersnake in #342
• feat(plonk): support of instances by @cyphersnake in #344
• feat(sfc): step-circuit instances permutation by @cyphersnake in #346
• feat(plonk): support of instances in perm by @cyphersnake in #347
• refactor(nifs): rm instances from RelaxedPlonkInstance by @cyphersnake in #350
• fix(gadgets): bugs in assign_bit by @cyphersnake in #356
• refactor(nifs): remaster permutation in PlonkStructure by @cyphersnake in #351
• feat(nifs): Foldable wrapper for trace by @cyphersnake in #357
• fix(plonk): algo for permutation by @cyphersnake in #358
• feat(example): instance example for manual test by @cyphersnake in #359
• feat(nifs): impl pub instances check by @cyphersnake in #360
• refactor: create ivc::sangria module by @cyphersnake in #362
• feat(main_gate): impl CyclicAssigner::assign_next_point by @cyphersnake in #364
• refactor(util): ScalarToBase + BaseToScalar by @cyphersnake in #363
• feat(ivc): impl protogalaxy verify circuit mod-blank by @cyphersnake in #365
• chore: bump rust-toolchain by @cyphersnake in #375
• refactor(nifs): remaster challenges absorbation by @cyphersnake in #376
• feat(ivc): generate assigned challanges by @cyphersnake in #377
• feat(ivc): impl protogalaxy::calculate_betas_stroke by @cyphersnake in #378
• feat(ivc): protogalaxy::AssignedUnivariatePoly::eval by @cyphersnake in #379
• feat(ivc): impl eval_lagrange_poly_zero by @cyphersnake in #380
• feat(ivc): impl eval_vanishing_poly by @cyphersnake in #381
• feat(ivc): impl protogalaxy::calculate_e by @cyphersnake in #387
• feat(ivc): impl protogalaxy::verify_sps by @cyphersnake in #385
• refactor(gadget): generalize ecc-gate by @cyphersnake in #388
• feat(ivc): impl tiny-gate-ecc by @cyphersnake in #390
• refactor(nifs): rm trait FoldingScheme by @cyphersnake in #389
• feat(ivc): impl tiny-gate-ecc by @cyphersnake in #391
• feat(ivc): impl cyclefold::support_circuit by @cyphersnake in #392
• feat(ivc): sfc input design by @cyphersnake in #393
• feat(ivc): cyclefold::sfc ro_absorb by @cyphersnake in #394
• feat(ivc): impl cyclefold::sfc::input::assigned by @cyphersnake in #395
• feat: nifs::protogalaxy from C::Base to C::Scalar by @cyphersnake in #396
• feat(ivc): impl cyclefold::sfc verify protogalaxy by @cyphersnake in #397
• feat(ivc): impl sangria::verify in cyclefold by @cyphersnake in #398
• feat(ivc): cyclefold::consistency_marker by @cyphersnake in #399
• feat(ivc): sangria consistency markers len by @cyphersnake in #402
• feat(ivc): support_circuit::p_out calc by @cyphersnake in #403
• feat(ivc): impl cyclefold zero step by @cyphersnake in #404
• feat(ivc): cyclefold public params digest by @cyphersnake in #405
• fix(gadgets): additional unsafe checks by @cyphersnake in #408
• feat(gadgets): impl bn::from_assigned_value_to_limbs by @cyphersnake in #409
• feat(nifs): support generic number of sangria c-markers by @cyphersnake in #410
• fix(ivc): cyclefold::support_circuit support zero by @cyphersnake in #411
• fix(nifs): protogalaxy initial acc by @cyphersnake in #412
• feat(ivc): impl cyclefold::sfc by @cyphersnake in #413
• feat(ivc): impl cyclefold::ivc by @cyphersnake in #414
• feat: cyclefold trivial example by @cyphersnake in #415
• fix: typos in documentation files by @maximevtush in #417
• perf(nifs): use rayon in protogalaxy::poly::witness_eval by @cyphersnake in #418
• feat(examples): impl cyclefold mode in cli by @cyphersnake in #419
• perf(nifs): paralellize cyclefold::fold_witness by @cyphersnake in #420
• perf(nifs): rayon-chunks for cyclefold::fold_witness by @cyphersnake in #421
• feat(benches): ivc_scaling_benchmark by @cyphersnake in #422
• perf(nifs): protogalaxy::nifs by @cyphersnake in #423
• chore: bump rust-toolchain by @cyphersnake in #424
• feat(example): cyclefold in merkle-cli by @cyphersnake in #425
• docs: fixed broken link in nifs/mod.rs by @litvintech in #428
• docs: update README code refs by @cyphersnake in #426
• docs: cyclefold report by @cyphersnake in #427

New Contributors

• @maximevtush made their first contribution in #417
• @litvintech made their first contribution in #428

Full Changelog: v0.1.1...v0.2.0