enrico.eth
|
36b873558e
|
General Refactor (#18)
* chore: fix dependency
* chore: replace `compute_rlc` with `compute_rlc_fixed_len`
* feat: partial refactor
* chore: further refactor
* chore: further refactor
* chore: further refactor
* chore: further refactor
* chore: further refactor
* chore: further refactor
* chore: remove binding to `DEG` from PolyChip
* chore: further refactor
* chore: further refactor
* feat: refactor
* chore: modify function visibility
* chore: minor fixes
* feat: minor efficiency improvement
* feat: minor efficiency improvement
* feat: minor efficiency improvement
* feat: minor efficiency improvement
* chore: minor fixes
* feat: minor efficiency improvement
* chore: fix comments
* chore: readme
* chore: fix deps
* chore: minor fixes
|
2024-01-04 12:40:20 +01:00 |
|
enrico.eth
|
d11665aab4
|
Efficiency on poly_divide_by_cyclo (#12)
* chore: fix comments
* chore: assign `cyclo` from `bfv.in`
* fix: modify `poly_mul` signature
* feat: update `utils`
* fix: `bfv` example
* feat: add precompute phase
* feat: added further constraints
* feat: update constraints
* chore: rename `poly_reduce_by_modulo_q` and `poly_reduce_by_cyclo`
* fix: replace `poly_reduce_by_cyclo` by `constraint_poly_reduction_by_cyclo`
* chore: fix comments
* chore: fixes
* chore: fix comments
* chore: update json parsing to `BigInt`
* chore: further fixing and guidance
* feat: remove unnecessary operations `poly_reduce_by_modulo_q`
* chore: further fixing
* chore: update benches
|
2023-12-01 01:59:31 +09:00 |
|
enrico.eth
|
378fe40330
|
feat: add constrain_poly_mul using Challenge API (#10)
* feat: add `constrain_poly_mul` using Challenge API
* chore: fix conflicts merging errors
* feat: added polynomials to `make_public` and enforced equality constraint on `c0` and `c1`
* feat: remove `poly_mul_equal_deg`
* chore: add further explanation on `Challenge API`
* fix: constraints on polynomial length
* chore: update `README`
* fix: overflow bug on `poly_mul`
* chore: update `benches`
|
2023-11-16 18:26:36 +01:00 |
|
enrico.eth
|
4a400d77c6
|
Add constraints on m (#9)
* feat: add constraint on `m`
* fix: `poly_distribution` and `poly_operations` take references to AssignedCell
* chore: update `README`
|
2023-11-08 18:27:21 +09:00 |
|