# ZK TL;DR #1

### Jimmy

### Paul （交給品豪）
- witness encryption （有請狸貓）
https://x.com/portport255/status/1834707783281000536

- witness encryption 把 public key encryption 做 generalization，原本 np 問題是可以在線性時間內做驗證，他會針對 np 問題題目作加密，你可以拿到對應解答的話，你就可以做解密
- 我們可不可以有更多這樣的研究，把 witness encryption 做出來，但目前還有很多技術上的限制

- a tee list
https://www.youtube.com/watch?v=GalMEErxNKg&list=PLRHMe0bxkuekKbMluqeKL0zkJyuQyn68N&index=5&ab_channel=Flashbots
- 這是一個帶你了解 TEE 的好影片
- 在 ETHCC 的一個 Side Even 由 Flashbot host 的 TEE Salon
- （插播好用的 plug-in: 沈浸式翻譯，即時把影片做出雙語字幕）

- sxg in place of tlsnotary
https://x.com/yush_g/status/1829303228745535968
- SXG (signed exchange) 是 cloudfare 提供你資料出來就幫你簽章的服務，於是有人就質疑這樣是不是就不用 TLSNotary 了（但前提是你一定要接 cloudfare 啦！）

- look for people doing grant
https://www.hyle.eu/
- 他們好像在找想做 grant 的
- 參考資訊：他們之前好像在做 starknet 上的樂高

- encrypted mempool against mev?
https://x.com/ballsyalchemist/status/1837385085890212264
- 反諷想用 encrypt mempool 解決 MEV 問題的人，因為他覺得 it doesn't make sense!

### 狸貓
- intro witness encryption
https://ethresear.ch/t/trustless-bitcoin-bridge-creation-with-witness-encryption/11953

- 一個用 witness encryption 的應用是做比特幣的 bridge
- 小提問：他可以分鏈嗎？
- 概念上是都可以，只要找到 relation 做對應加解密就可以做到，甚至不只 EVM
- 小提問：但要怎麼證明 event log 來自主鏈而非隨意 fork 出的任一鏈？
- 目前沒有具體討論到要如何驗證 event 🥲
- currently you have to know who you are encrypting to -> witness encryption 的好處是可以找 statement 做加密，就不需要知道對象是誰

### Hao
- ye zhang 訪談
https://x.com/btceden/status/1806633579159675065
- 這篇是對 scroll 的 CEO 的訪談，對不了解 zk evm 的人很有幫助，他分享了在實作過程中遇到的挑戰
- 其中一個是對 Opcode 做 constraint，在 ethereum 會有 op 更新，這對開發 zk evm 的人來說很複雜也不好審計，他們現在就傾向往 zkvm 去做
- multi prover 可以讓不同的 prover 去算 prove，並建立 prove generation network，讓算力強的人去幫忙算 prove 獲得收益
- 小問題：zkevm migrate 到 zkvm 會改變原本的設計嗎？
- hao：好問題！應該會是 mapping 把原狀態帶去新的鏈

- Stop learning ZK mathematics
https://medium.com/@laurippeltonen/stop-learning-zk-mathematics-ba1064d26fe0
- 提出質疑會不會根本不需要這麼多人學會 zk 數學，如果只需要做專案的話，不用會 zk mathematics 也可以做
- anon hao：確實，其實很多東西也只是拿別人開發好的來用，像是 Hash，你也不會真的去挖要怎麼實作 Hash（以一般工程師來說）

- A new era of PSE
https://pse-team.notion.site/A-new-era-for-PSE-f4cde2e1a20d49ed92071a93ad8ba7df
- hao：原本 pse 像是在探索 zk 應用的機會，而現在想往落地應用發展
- kevin：Sam 之前是做 maci team lead，是比較產品導向的人；Barry 比較想做探索

### Ryan

- ZK/MPC/TEE + TLS => Web Proofs
https://x.com/adam_winnick/status/1837993493798793667
- 介紹去 token 2049 的紀錄，過去到現在網路上的資料怎麼被驗證，tls zkp 到 mpc，用 restaking 的網路幫你驗證資料，透過經濟安全性去確保這件事，下一個他認為是 web proof（但不確定這是什麼意思）
- zktls 就是任何 https 的 connection 可以用 zk circuit 去驗證 proof，讓 trust level 可以再更低
- 文中也盤點各種 zktls 的應用

- zkTLS + zkLLM
https://x.com/_weidai/status/1829194060554522915
Is this like zkTLS + gpt API?
- 這篇提出 zktls + zkllm 是一個很有意義的應用方向
- 現在 poly market 需要很可信的資料來源，這邊提出可以透過 zk tls 把 data source 匯集起來，再丟進 llm 去做出縱整大家想法的結果，並過濾出可信的結論

### Moven

- Verifiable FHE Bootstrapping using SNARKs
https://www.zama.ai/post/verifiable-fhe-bootstrapping-using-snarks
zkVM-based implementations? folding-based IVC instead of recursion?
- FHE 就是你有對加密過的資料做有效運算的能力
- 舉例 AI model 說在模型裡把貓咪變可愛，FHE ML 在運算時就是用密文在操作，那要如何驗證這樣的運算是正確的，就可以用 zk 做驗證
- 主要在做 FHE intra 的 ZAMA 做了比較實驗，用現有的 zkvm 去跑 bootstraping 會跟 FHE 差多少？zkvm 會需要 3-20 min，以及 600-700 次的 iteration，所以總共是 20*600 左右的時間，但如果 recursion 去替代 iteration 則只需要花費 40 min
- Performance of proving and verifying a single step of the blind rotation using risc0 and sp1
- Performance of proving and verifying a PBS operation using our plonky2 based implementation
> this benchmark outperforms the zkVMs by at least two orders of magnitude (10^2)


- 另一個方式是用 TEE！但不確定他是怎麼做的⋯⋯
- Anon Moven：FHE ML 感覺不會成功，因為 AI model 迭代得太快了，現在的做出來都還是太笨(很難追上主流的 AI model)、太不實際了

### Nicole
- Unirep Social TW 易用性測試火熱招募中
- https://forms.gle/AMYjWac8swPopsWZ7
-