Skip to content

Commit

Permalink
docs(zk): update tracking_testing.md
Browse files Browse the repository at this point in the history
  • Loading branch information
ashjeong committed May 14, 2024
1 parent 92745cd commit ea8cbd5
Showing 1 changed file with 16 additions and 4 deletions.
20 changes: 16 additions & 4 deletions tachyon/zk/plonk/examples/tracking_testing.md
Original file line number Diff line number Diff line change
Expand Up @@ -10,13 +10,21 @@
| SimpleLookupCircuit | V1FloorPlanner | SHPlonk | Halo2LS |
| ShuffleCircuit | SimpleFloorPlanner | SHPlonk | Halo2LS |
| ShuffleCircuit | V1FloorPlanner | SHPlonk | Halo2LS |
| Fibonacci1Circuit | SimpleFloorPlanner | SHPlonk | Halo2LS |
| Fibonacci1Circuit | V1FloorPlanner | SHPlonk | Halo2LS |
| Fibonacci2Circuit | SimpleFloorPlanner | SHPlonk | Halo2LS |
| Fibonacci2Circuit | V1FloorPlanner | SHPlonk | Halo2LS |
| Fibonacci3Circuit | SimpleFloorPlanner | SHPlonk | Halo2LS |
| Fibonacci3Circuit | V1FloorPlanner | SHPlonk | Halo2LS |

**In Progress**:

| Circuit | FloorPlanner | PCS | LS |
| -------------- | ------------------ | --- | ------- |
| ShuffleCircuit | SimpleFloorPlanner | GWC | Halo2LS |
| ShuffleCircuit | V1FloorPlanner | GWC | Halo2LS |
| Circuit | FloorPlanner | PCS | LS |
| ----------------- | ------------------ | ------- | ------- |
| ShuffleCircuit | SimpleFloorPlanner | GWC | Halo2LS |
| ShuffleCircuit | V1FloorPlanner | GWC | Halo2LS |
| Fibonacci4Circuit | SimpleFloorPlanner | SHPlonk | Halo2LS |
| Fibonacci4Circuit | V1FloorPlanner | SHPlonk | Halo2LS |

## Identical Test Data

Expand Down Expand Up @@ -75,3 +83,7 @@ The following circuits result in the same test data when using `SimpleFloorPlann
40. :blue_square: kLookupPermutedInputPrevEvals
41. :blue_square: kLookupPermutedTableEvals
42. :blue_square: kHEval

## Other

Note that currently the fibonacci circuits do not have data for kHEval and this should be added at a later time as well.

0 comments on commit ea8cbd5

Please sign in to comment.