---
# System prepended metadata

title: 'ZK TL;DR #0'

---

# ZK TL;DR #0

### Ryan


* Two Cow https://x.com/nebrazkp/status/1828168119447322968
* The Iron Throne of zkVM https://x.com/SuccinctLabs/status/1820853658088817099
* https://x.com/intoverflow/status/1821280812056375636

### Hao
- Vessel
    - [website](https://vessel.finance/)
    - [twitter](https://x.com/VesselFinance)
        - ZK order book
        - verifiable AMM-embedded limit order book (VAELOB)
    - It runs a ZKP protocol to produce proofs based on the sequencer’s execution trace, ensuring that operations adhere to specific rules, preventing unauthorized creation of funds or transfers.
 https://x.com/VesselFinance/status/1805899522364883006
    - 可以想像成是中心化的 CEX，但這個 sequencer 執行的計算軌跡會被 prove

- Cysic
    - Hardware Acceleration
    - ZK proof generation accelerate
https://x.com/geeksweb3/status/1826259541719478460?s=12&t=CVNMlt9vq-cn22OKb2aUjg
    - ZK 礦池 

- Fabric Cryptography 
    - 可驗證處理單元（VPU）
    - https://www.fabriccryptography.com/
    - https://www.techflowpost.com/article/detail_19824.html
    - 

### Kevin
- Renegade
    - [mainnet launch on Sep 3rd](https://x.com/renegade_fi/status/1824647861503504722)
    - private dex, avoid front-running/MEV
    - matching orders with MPC, settled with collaborative SNARK

### wiasliaw

- https://www.cryptologie.net/article/610/plonks-permutation-the-definitive-explanation/
    - permutation


### Kimi
- [RISC Zero Education Database](https://risczero.notion.site/5a335a1d29b44cb48c44b36ae66f366f?v=95cda72e39d3403fbfb59884afb0045d)
- [Antalpha Labs youtube](https://www.youtube.com/@Antalpha_Labs/videos)
- [Ceno Paper](https://eprint.iacr.org/2024/387)

### LCamel
- [GMW compiler](https://securecomputation.org/) (sec 6.5.1)

Feedback Form
https://forms.gle/XFDVrkabSuTzLQNr8