---
# System prepended metadata

title: SP1

---


## plonky3
### 1.overall feaures

 ![image](https://hackmd.io/_uploads/ByKMb34D1x.png)


### 2. circuit composition
![image](https://hackmd.io/_uploads/BkC3DcfwJg.png)

Fibonacci example

### 3. Traits

![image](https://hackmd.io/_uploads/H1jczIXv1x.png)


### 4. VS Halo2
 
![image](https://hackmd.io/_uploads/Hk8DgPXvyg.png)

same color refers to similar function item.
## sp1
### 1.work flow
![image](https://hackmd.io/_uploads/SyMjCYzvkl.png)

### 2.Common Chips
![image](https://hackmd.io/_uploads/SJDebvXPyl.png)


### 3. lookup/interconnection

![image](https://hackmd.io/_uploads/SkQXGW8wJl.png)

 get_chips_and_costs --> Chip::generate_permutation_trace   -->  generate_permutation_trace  --> 

### 4. Memory 

TBD


### 5. Proving 

TBD



## Todos
 - generate_dependencies ?
 - shape ?
 - generate_permutation_trace ?
 - 


## reference：
- https://docs.polygon.technology/learn/plonky3/examples/fibonacci/
- https://trapdoortech.medium.com/zero-knowledge-proof-introduction-to-sp1-zkvm-source-code-d26f88f90ce4
- https://drive.google.com/file/d/1aTCELr2b2Kc1NS-wZ0YYLKdw1Y2HcLTr/view
- https://docs.polygon.technology/innovation-design/plonky/
- https://github.com/Plonky3/Plonky3
- https://github.com/succinctlabs/sp1
- https://docs.succinct.xyz/docs/getting-started/quickstart
- 
