# 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