Commit 249ccc8

authored

Merge pull request #193 from o1-labs/mimoo/permut

[kimchi] fix bugs and abstraction for permutation's shifts

2 parents c9ead7f + 923799b commit 249ccc8Copy full SHA for 249ccc8

7 files changed

+497

-413

lines changed

.github/workflows
- rust.yml
circuits/plonk-15-wires/src
- gate.rs
- nolookup
  - constraints.rs
- polynomials
  - lookup.rs
- wires.rs
dlog/plonk-15-wires/src
- index.rs
ocaml/ocaml-gen/src
- conv.rs

7 files changed

+497

-413

lines changed

`‎.github/workflows/rust.yml`

-Original file line number
+Diff line change
       - name: build ocaml types
         run: |
           cargo build --features ocaml_types
++
 +      - name: Run cargo fmt
 +        run: |
 +          cargo fmt

Comments

(0)