# ZK TL;DR #2

### Intro.

- What is ZKTaipei & ZK TL;DR
- ZKTaipei
- Events: ZKDay, Meetups
- Links: Telegram, Twitter
- ETHTaipei
- Events: DeFi TL;DR, TEM
- Survey: Solo Staking

### Jimmy

- [Rogue - The new kid in L2](https://x.com/fede_intern/status/1846035499799978475)
1. User transactions are propagated via a mempool to the block proposers.
2. Block proposers lock some validity bond capital and bid for the rights to propose the next N blocks.
3. The bid-winning block proposer generates blocks, attested by a TEE (Trusted Executed Enviroment), and sends them to Ethereum.
4. ZK Provers race to generate a proof that all the transactions were correctly executed.
5. The ZK proof gets verified in Ethereum and all the transactions are now considered finalized.
6. Rewards are given to both the proposer and the provers.

- A fixed time for finality can also be set as a target for the network, making the size of the block dynamic. The size of blocks will be determined by proving capabilities and proving capabilities will grow due to economic incentives. The more proving hardware is available, the more transactions can be included per block.
- Based sequencing, proving, and TEE attestation are being added.

- [OP Succint](https://x.com/gelatonetwork/status/1847259571548549287?s=46&t=P5jQIjl9j97OSyYy6DQKOw)
- 讓所有使用 op 的鏈去產生 proof
- 可以縮短提領的時間

- [zkEmail - DevCon Rejected Proof](https://x.com/zkemail/status/1847351261848621417)
- [zkP2P expanding to Domain](https://x.com/asoong91/status/1841217457853514113)
1. Buyer - Fund Account
2. Seller - Generate Ticket Web Proof
3. Seller - List Ticket
4. Buyer - Submit Order: Deposit
5. Seller - Fullfill Order: Generate Ticket Transfer Web Proof + Claim/Withdraw
- [zkP2P expanding to Tickets](https://x.com/richardzliang/status/1846287773210497028)
1. Buyer - Fund Account
2. Seller - Generate Ticket Web Proof
3. Seller - List Ticket
4. Buyer - Submit Order: Deposit
5. Seller - Fullfill Order: Generate Ticket Transfer Web Proof + Claim/Withdraw
- [Misc - Enhancing GitHub comments](https://x.com/antonttc/status/1848364123157139657)

### Nicole
- https://x.com/yyyoisha/status/1847559101167071637
- Invisible Garden's hackathon project, ZK ninja, empowers those with basic engineering skills to dive into zk and cryptography. With structured content, open Q&A, quizzes, and AI-driven follow-ups, it ensures solid understanding. The open-source question bank welcomes zk experts to contribute!

- Invisible Garden 的其中一個黑客松專案 -- zk 學習系統，讓擁有基礎工程知識的人能夠透過此系統學習 zk 與密碼學相關知識
- 開發團隊提供學習的架構與基本應理解的資訊，系統除了授予基礎知識外，也會有開放式問答與多選的小測驗，同時利用 AI 根據前提的回答去延伸追問，確保大家完整理解概念
- 系統的題庫是開源的，歡迎所有熟悉 zk 的朋友可以一起共創，讓學習系統更加完整

### Anon

ZK Summit stuff:
- Circom structs with buses: [zksummit](https://www.youtube.com/watch?v=dogewbhD4HA&list=PLj80z0cJm8QFy2umHqu77a8dbZSqpSH54&index=5), [docs](https://docs.circom.io/circom-language/buses/#approaching-a-type-system-via-buses-and-tags), [x](https://x.com/ALBERTRUBIO33/status/1843211115452649638)
- Cursive unbreakable consent, narrowcasting, digitial pheromones (Backpocket MPC social graphs, PSI): [zksummit](https://www.youtube.com/watch?v=-0JdI5QG7yg&list=PLj80z0cJm8QFy2umHqu77a8dbZSqpSH54&index=6), [x](https://x.com/cursive_team/status/1844371127822647761)
- Sonobe folding lib: [zksummit](https://www.youtube.com/watch?v=z3FH9I8klDk&list=PLj80z0cJm8QFy2umHqu77a8dbZSqpSH54&index=23), [hackmd](https://hackmd.io/KbswQCxFRaONum6MFGYucg), [github](https://github.com/privacy-scaling-explorations/sonobe/)

### 狸貓
- FHE 入門與比較（？） https://mirror.xyz/calibervb.eth/PHokST-E6j4G4EV6mYcOH67RnqQRDtMAlU4t7YQelPw
- 介紹 FHE 的各個名詞跟如果要研究的話可以從哪裡開始看起

- 如何選擇 ZK Lanuage 暨 ISA 相關經驗分享（？） https://victorsintnicolaas.com/zkp-language-comparison/