Marlin解讀01：電路與約束系統(tǒng)—QAP和R1CS
Hacker?Dōjō Web3前沿技術(shù) workshop文稿
Workshop回顧：https://b23.tv/0Sizdqb
本期: Marlin解讀01：電路與約束系統(tǒng)—QAP和R1CS?
大綱：
1. 電路與數(shù)學抽象?
2. QAP與R1CS?
3. Marlin證明系統(tǒng)?
未來系列分享：?
1. 承諾方案—KZG及其性質(zhì)?
2. zk設(shè)計路徑?
3. Marlin數(shù)學基礎(chǔ)?
4. Marlin公式詳解?
5. Marlin的應(yīng)用和優(yōu)化
內(nèi)容貢獻者：Daniel Yang，華東師范大學博士研究生，于2023年，在香港科技大學主辦的Web3黑客松競賽，及UC Berkley主辦的ZK黑客松比賽中，均獲得名次，目前致力于研究零知識證明及其在Web3中的應(yīng)用。
本項目由Hacker Dōjō 資助，文章轉(zhuǎn)載請注明出處。
??學習量子計算、密碼學、Space等Web3前沿技術(shù)
??認領(lǐng)Bounty，賺取賞金
??參與Hackathon，獲得資助
更多Web3精彩技術(shù)分享盡在Dōjō??
WeChat: HackerDojo0
??關(guān)于Dorahacks
DoraHacks 是一個全球范圍內(nèi)的極客運動、全球黑客馬拉松組織者，也是全球最活躍的多鏈 Web3 開發(fā)者平臺之一。DoraHacks.io平臺使得世界各地的Hacker和開源開發(fā)者可以參與黑客馬拉松、Bounty、Grant、Grant DAO，以及公共物品質(zhì)押等加密原生協(xié)議和基礎(chǔ)設(shè)施進行協(xié)作并獲得資助。到目前為止，DoraHacks 社區(qū)的 4000 多個項目已經(jīng)獲得了來自全球行業(yè)支持者超過 3000 萬美元的資助。大量開源社區(qū)、DAO 和 超過50個主要區(qū)塊鏈生態(tài)系統(tǒng)正在積極使用 Dora 的基礎(chǔ)設(shè)施（DoraHacks.io）進行開源融資和社區(qū)治理。
??關(guān)于Dorahacks DAO Bounty
Dorahacks DAO Bounty，為各類DAO和組織賦能！
Bounty計劃為DAO和組織提供了一個強大的平臺，通過社區(qū)激勵的形式，發(fā)布問題，協(xié)調(diào)任務(wù)，鼓勵用戶積極參與。
作為Bounty發(fā)布者，您可以根據(jù)我們的指南，發(fā)布社區(qū)相關(guān)的懸賞任務(wù)，解決問題的同時，提升社區(qū)活躍度：https://dorahacks.io/blog/guides/publish-a-bounty/
作為賞金獵人，您可以在DAO Bounty計劃中發(fā)揮自己的專長和能力，認領(lǐng)懸賞，解決問題，獲得酬金：https://dorahacks.io/daobounty
??關(guān)于SCBC
特別感謝SCBC對本次分享的支持。SCBC全稱為Science block-community，是一個面向區(qū)塊鏈科研人員及愛好者的平臺，致力于國內(nèi)外區(qū)塊鏈方向優(yōu)秀科研工作的傳播和科學普及。
??關(guān)于Hacker Dōjō
Hacker Dōjō是前沿技術(shù)開源知識社區(qū)。Dōjō會以直播/音頻/文字等形式定期組織分享session，內(nèi)容包括Web3領(lǐng)域前沿技術(shù)論文解讀、技術(shù)研討、工作坊、技術(shù)領(lǐng)袖研討會等。歡迎在Hacker Dōjo社區(qū)討論、學習和交流：Dora Dōjo - Dora Community Forum: https://community.dorahacks.io/c/buidl-dorahacks-io/6
目前Hacker Dōjō已分享的主題有：
密碼學：基礎(chǔ)專題（對稱加密算法、哈希函數(shù)、群和公鑰加密、數(shù)字簽名和KZG承諾、零知識證明、非對稱密碼算法、分布式密碼學）
密碼學：抗量子計算破解算法專題
Layer1架構(gòu)：Move系列、模塊化公鏈、共識協(xié)議Bullshark、內(nèi)存池協(xié)議Narwhal和共識協(xié)議Tusk、Aptos共識與交易并行執(zhí)行
Layer2架構(gòu)：zkSync研究、Layer2的支付通道擴容方法、Polygon Hermez、Optimism、StarkWare技術(shù)與生態(tài)梳理
IRS系列：Interest Rate Swap and DeFi Platforms、Interest Rate Swap and Perpetual Swap、The Future Dencentralized Interest Rate Swap
量子計算系列：量子計算基礎(chǔ)、Qiskit專題（Qiskit入門、Deutsch-Jozsa算法、Bernstein-Vazirani算法、Simon算法、量子卷積神經(jīng)網(wǎng)絡(luò)、量子傅立葉變換、量子相位）、Pennylane專題（利用變分量子電路擬合傅里葉級數(shù)）、實驗法觀測宏觀量子疊加態(tài)
AIGC系列：ChatGPT比較語料評測、GPT-4論文解讀
加入Dōjō的Hacker可以提出自己的學習期望，主動提案自己擅長的技術(shù)話題，由Dōjō組織分享。同時，Hacker Dōjō推出Web3前沿課題研究計劃，定期選題，由Hacker進行研究和講解，并以bounty形式獎勵研究貢獻者。歡迎各位Hacker認領(lǐng)Bounty：https://dorahacks.io/zh/daobounty
聯(lián)系我們：
Telegram:?@DoraDojo0
WeChat:?@HackerDojo0
E-mail:?hackerdojo0@gmail.com
