## 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 -