從去年的DAO經典到更早的NFT經典。
本文,為那些尋求理解、深入和構建零知識的人挑選了一組資源:強大的基礎技術,這些基礎技術掌握著區塊鏈可擴展性的關鍵,代表著隱私應用程序的未來,包括加密/web3中的應用程序,以及無數其他創新。
這些創新由來已久:ShafiGoldwasser、SilvioMicali和CharlesRackoff于1985年引入了零知識證明系統,并對密碼學領域產生了變革性的影響;他們因此獲得了2012年ACM圖靈獎。由于這項工作已經醞釀了數十年,尤其是在從理論到實踐的過程中,我們還首次在我們的經典系列中分享了第二部分,由JustinThaler按主題和年表組織注釋的閱讀清單。
本文為第一部分。
基礎、背景、演變
其中一些論文也更多地涉及一般的密碼學,包括概述當今零知識證明解決的問題或關鍵進展:如何確保開放網絡中的隱私和身份驗證。
Newdirectionsincryptography(1976)——密碼學新方向(1976)
作者:WhitfieldDiffie和MartinHellman
https://ee.stanford.edu/~hellman/publications/24.pdf
Amethodforobtainingdigitalsignaturesandpublic-keycryptosystems——一個獲得數字簽名和公鑰密碼系統的方法
作者:RonaldRivest、AdiShamir、LeonardAdelman
https://citeseerx.ist.psu.edu/viewdoc/download;jsessionid=856E21BC2F75800D37FD611032C30B9C?doi=10.1.1.40.5588&rep=rep1&type=pdf
Protocolsforpublickeycryptosystems(1980)——公鑰密碼系統協議(1980)
作者:RalphMerkle
http://www.merkle.com/papers/Protocols.pdf
Securecommunicationsoverinsecurechannels(1978)——通過不安全通道進行安全通信(1978)
作者:RalphMerkle
https://www.merkle.com/1974/PuzzlesAsPublished.pdf
Useofellipticcurvesincryptography(1988)——在密碼學中使用橢圓曲線(1988)
作者:VictorMiller
https://link.springer.com/content/pdf/10.1007%2F3-540-39799-X_31.pdf
Aleo與Forte達成合作,以將零知識證明解決方案帶入鏈游:3月8日消息,零知識隱私應用平臺Aleo與區塊鏈游戲平臺Forte達成合作,旨在為鏈游帶來零知識證明解決方案,希望以此推動低成本交易。
Forte將使用Aleo的可擴展架構來解鎖新的游戲玩法深度,并構建更具包容性和沉浸式的游戲生態系統。Forte已經在使用Aleo的技術在多個游戲經濟中鑄造、轉移和交易NFT,以服務于現有的真實世界用例。
今年2月初,加密初創公司Aleo Systems Inc(簡稱Aleo)宣布完成2億美元B輪融資,SoftBank和Kora Management領投,Andreessen Horowitz(a16z)、Tiger Global、Samsung Ventures等參投。
去年5月,Forte獲得1.85億美元A輪融資,估值10億美元。此輪融資由風險投資基金Griffin Gaming Partners領投,Union Grove Venture Partners、Andreessen Horowitz(a16z)、Battery Ventures、早期風險投資公司Canaan等參投。(VentureBeat)[2022/3/9 13:45:18]
Theknowledgecomplexityofinteractiveproof-systems(1985)——交互式證明系統的知識復雜性(1985)
作者:ShafiGoldwasser、SilvioMicali、CharlesRackof
https://citeseerx.ist.psu.edu/viewdoc/download?doi=10.1.1.419.8132&rep=rep1&type=pdf
Computationallysoundproofs(2000)——計算健全證明(2000)
作者:SilvioMicali
https://people.csail.mit.edu/silvio/Selected%20Scientific%20Papers/Proof%20Systems/Computationally_Sound_Proofs.pdf
Fromextractablecollisionresistancetosuccinctnon-interactiveargumentsofknowledge,andbackagain(2011)——從可提取的抗碰撞性到簡潔的非交互式知識證明,然后再返回
作者:NirBitansky、RanCanetti、AlessandroChiesa、EranTromer
https://eprint.iacr.org/2011/443.pdf
Efficientzero-knowledgeargumentforcorrectnessofashuffle(2012)——對洗牌正確性的有效零知識論證
作者:StephanieBayer、JensGrothhttp://www0.cs.ucl.ac.uk/staff/J.Groth/MinimalShuffle.pdf
V神:以太坊即將過時的采礦硬件可以直接用于零知識證明:在采訪中,Ethereum聯合創始人V神(Vitalik Buterin)被問及一旦網絡從其當前的共識算法切換到不再需要這種專用硬件的模型時,人們應該如何使用以太坊礦工。Ethereum聯合創始人表示,以太坊即將過時的采礦硬件可以直接用于零知識證明。(cointelegraph)[2020/4/26]
Succinctnon-interactivezeroknowledgeforavonNeumannArchitecture(2013)——為vonNeumann架構提供簡潔非交互式零知識
作者:EliBen-Sasson、AlessandroChiesa、EranTromer、MadarsVirza
https://eprint.iacr.org/2013/879.pdf
Scalable,transparent,andpost-quantumsecurecomputationalintegrity(2018)——可擴展、透明和后量子安全計算完整性
作者:EliBen-Sasson、IddoBentov、YinonHoresh、MichaelRiabzev
https://eprint.iacr.org/2018/046.pdf
Public-coinzero-knowledgeargumentswith(almost)minimaltimeandspaceoverheads(2020)——具有最小時間和空間開銷的公共代幣零知識論證
作者:AlexanderBlock、JustinHolmgren、AlonRosen、RonRothblum、PratikSoni
https://www.iacr.org/cryptodb/data/paper.php?pubkey=30645
綜述和介紹
Proofs,arguments,andzero-knowledge——證明、論證和零知識
本文綜述了可驗證計算和交互式證明和論證,使證明者能夠向驗證者保證證明者正確執行了請求計算的加密協議,包括零知識。Zk論證在密碼學中有無數的應用,并且在過去十年中已經從理論躍升到實踐。
作者:JustinThaler
https://people.cs.georgetown.edu/jthaler/ProofsArgsAndZK.pdf
Anevolutionofmodelsforzero-knowledgeproofs——零知識證明模型的演化
對零知識證明的回顧,Meiklejohn著眼于推動其發展的應用程序,為捕捉這些新交互而出現的不同模型,我們可以實現的結構,以及其他工作。
作者:SarahMeiklejohn
https://www.youtube.com/watch?v=HO97kVMI3SE
ZKwhiteboardsessions——ZK白板會議:介紹性文章
金色沙龍 | 燕麗:零知識證明對于協調區塊鏈底層擴容也有很大幫助:在今日舉行的《隱私計算——區塊鏈信息安全守護者》為主題的金色沙龍中,算力智庫創始人燕麗表示,2020年1月1日,中國首部《中華人民共和國密碼法》將正式開始實施,而在這之前一直只有一部 2007年4月23日公布的《商用密碼產品使用管理規定》和《境外組織和個人在華使用密碼產品管理辦法》。很多人把這次《密碼法》和2019年“1024”中央把區塊鏈技術作為國家戰略聯系在一起。區塊鏈技術是完全基于密碼學技術,所以按照這個邏輯,如果政府要完全掌控未來區塊鏈技術的發展,首先就要完全掌控密碼學技術,而這個其中的核心是國家主權范圍之間在所有的通信安全和商業行為之間軍備競賽的升級。區塊鏈有大量擴容壓力,而為了達到這個操作,必然要犧牲系統處理效能和部分隱私。但矛盾的是,區塊鏈前期的應用場景如虛擬貨幣,數字金融等,都需要有更好的隱私保護和不容易被惡意攻擊的防護。所以若想讓區塊鏈技術落地生根,那么提高區塊鏈底層技術來滿足對于高安全性(含高完整性和高保密性)、高性能、高廣義效率的要求,也許是個穩妥做法。所以隱私計算中的零知識證明等對于協調區塊鏈底層擴容也有很大幫助。[2020/4/15]
作者DanBoneh等
https://zkhack.dev/whiteboard/
Securityandprivacyforcryptowithzkps——zkps加密的安全性和隱私性
在實踐中領先的零知識證明;zkps是什么以及它們是如何工作的……包括現場“演示”
作者:ZookoWilcox
https://a16z.com/2019/08/29/security-and-privacy-for-crypto-with-zero-knowledge-proofs/
Toptechtopics,explained——頂級技術主題解釋
包括零知識的一般定義和含義
作者:JoeBonneau、TimRoughgarden、ScottKominers、AliYahya、ChrisDixon
https://web3-with-a16z.simplecast.com/episodes/hot-research-summer-blockchain-crypto-tech-topics-explainers-overviews-seminar-videos
零知識解釋——5級別難度
作者:AmitSahaifromWired
https://youtu.be/fOGdb1CTu5c
Howthecomingprivacylayerwillfixabrokenweb——即將到來的隱私層將如何修復損壞的互聯網
作者:HowardWu
https://future.com/a-privacy-layer-for-the-web-can-change-everything/
IntroductiontozkSNARKs——zkSNARKs介紹
聲音 | CFTC專員:繼續看好隱私幣的零知識證明技術:據AMBCrypto消息,近日,美國商品期貨交易委員會(CFTC)專員Brian Quintenz接受采訪時表示,盡管存在AML(反洗錢)的問題,但對零知識證明協議持積極態度。政府接受任何形式的隱私幣的可能性很小,加密貨幣交易平臺也禁止用戶進行不受監控的交易,這也是為什么Monero沒有在Coinbase上線的原因。[2019/6/28]
作者:HowardWu、AnnaRose
https://zeroknowledge.fm/38-2/
Whyandhowzk-SNARKWorks:adefinitiveexplanation——zk-SNARK機制以及如何工作:一個權威解釋
作者:MaksymPetkus
https://arxiv.org/pdf/1906.07221.pdf
Anintroductiontozero-knowledgeproofs——零知識證明簡介
作者:FredrikHarrysson、AnnaRose
https://www.zeroknowledge.fm/21
Zk-SNARKs:underthehood——Zk-SNARKs:本質
作者:VitalikButerin
https://medium.com/@VitalikButerin/zk-snarks-under-the-hood-b33151a013f6
https://vitalik.ca/general/2016/12/10/qap.html
https://vitalik.ca/general/2017/01/14/exploring_ecp.html
https://vitalik.ca/general/2017/02/01/zk_snarks.html
Decentralizedspeed——去中心化速度
關于零知識證明、去中心化硬件的進展
作者:ElenaBurger
https://a16z.com/2022/04/15/zero-knowledge-proofs-hardware-decentralization-innovation/
Cuttingedgezkresearch——zk前沿研究
來自以太坊基金會zk研究員MaryMaller、AnnaRose、KobiGurkan
https://zeroknowledge.fm/232-2/
Exploringzkresearch——探索zk研究
嘉賓:DFINITY研究主管;以及來自Groth16的JensGroth、AnnaRose、KobiGurkan
https://zeroknowledge.fm/237-2/
SNARKresearch&pedagogy——SNARK研究與教學法
動態 | 摩根大通正在測試零知識隱私解決方案:據coindesk報道,摩根大通(JPMorgan Chase)正在測試一種名為AZTEC的零知識隱私解決方案。該協議由倫敦創業公司AZTEC開發,旨在以更低的成本和更高效的方式對區塊鏈數據進行加密。摩根大通內部人士證實,該銀行的Quorum團隊正在關注AZTEC,并且一直希望將Quorum的零知識證明工業化。[2019/3/1]
來自ZCash和Starkware聯合創始人之一以及AlessandroChiesa,AnnaRose
https://zeroknowledge.fm/episode-200-snark-research-pedagogy-with-alessandro-chiesa/
深入:課程、分解、建造者指南
Foundationsofprobabilisticproofs——概率證明的基礎
包含5個單元的交互式證明課程以及更多內容
作者:AlessandroChiesa
https://www.youtube.com/playlist?list=PLGkwtcB-DfpzST-medFVvrKhinZisfluC
9thBIUWinterSchoolonCryptography——第9屆BIU密碼學冬季學校
來自應用密碼學和網絡安全研究中心
作者:YehudaLindell、BennyPinkas、EliBen-Sasson、JensGroth、CarmitHazay、YuvalIshai、AlonRosen、RonRothblum
https://cyber.biu.ac.il/event/the-9th-biu-winter-school-on-cryptography/
Interactiveproofsandzeroknowledge——交互式證明和零知識
來自斯坦福CSS355密碼學主題(2018)
作者:HenryCorrigan-Gibbs、SamKim、DavidWu
https://crypto.stanford.edu/cs355/18sp/lec3.pdf
Interactivedemonstrationofthezeroknowledgeproofprotocolfor3-colorablegraphs——3色圖的零知識證明協議的交互式演示
允許一個人說服驗證者相信一個事實的真實性,而無需透露該圖的實際三種顏色
http://web.mit.edu/~ezyang/Public/graph/svg.html
SNARKdesign,part1——SNARK設計,第1部分
調查,在Rollup中使用及更多
作者:JustinThaler
https://www.youtube.com/watch?v=tg6lKPdR_e4
SNARKdesign,part2——SNARK設計,第2部分
Rollup、性能、安全性
作者:JustinThaler
https://www.youtube.com/watch?v=cMAI7g3UcoI
STARKs:partI,II,III——STARKs:第一、二、三部分
作者VitalikButerin
https://vitalik.ca/general/2017/11/09/starks_part_1.html
https://vitalik.ca/general/2017/11/22/starks_part_2.html
https://vitalik.ca/general/2018/07/21/starks_part_3.html
AnatomyofaSTARK——STARK剖析
六部分教程,解釋了STARK證明系統機制
作者:AlanSzepieniec
https://aszepieniec.github.io/stark-anatomy/
MeasuringSNARKperformance——測量SNARK性能
前端、后端,更多內容
作者:JustinThaler
https://a16zcrypto.com/measuring-snark-performance-frontends-backends-and-the-future/
UnderstandingPLONK——了解PLONK
作者:Vitalik
https://vitalik.ca/general/2019/09/22/plonk.html
ThePLONKzero-knowledgeproofsystem——PLONK零知識證明系統
12個關于PLONK如何工作的短視頻系列
作者:DavidWong
https://www.youtube.com/playlist?list=PLBJMt6zV1c7Gh9Utg-Vng2V6EYVidTFCC
FromAIRstoRAPs——從AIRs到RAPs
PLONK風格的算法如何工作
作者:ArielGabizon
https://hackmd.io/@aztec-network/plonk-arithmetiization-air
MultisetchecksinPLONKandPlookup——PLONK和Plookup中的多集檢查
作者:ArielGabizon
https://hackmd.io/@arielg/ByFgSDA7D
Halo2design——Halo2設計
來自ECC
https://zcash.github.io/halo2/design.html
Plonky2
https://github.com/mir-protocol/plonky2/blob/main/plonky2/plonky2.pdf
應用程序和教程:概念證明、演示、工具等
Appliedzk
學習資源,為沒有正式數學背景的工程師提供材料,以加快對基礎理論的扎實理解
作者:0xPARC
https://learn.0xparc.org/materials/intro
AnonlinedevelopmentenvironmentforzkSNARKs——zkSNARKs的在線開發環境zkREPL
zkREPL是一組新的工具,用于與瀏覽器內的Circom工具棧進行交互
作者:KevinKwok
https://zkrepl.dev
Quadraticarithmeticprogramsfromzerotohero——二次算術程序:從0到精通
作者:VitalikButerin
https://medium.com/@VitalikButerin/quadratic-arithmetic-programs-from-zero-to-hero-f6d558cea649
OnzkEVMs——論zkEVM
嘉賓:AlexGluchowski、AnnaRose
https://zeroknowledge.fm/175-2/
DifferenttypesofzkEVMs——不同類型的zkEVM
作者:VitalikButerin
https://vitalik.ca/general/2022/08/04/zkevm.html
ZKmachinelearning——ZK機器學習
將神經網絡引入SNARK的教程和演示
作者:HoracePan、FrancisHo、HenriPalacci
https://0xparc.org/blog/zk-mnist
OnZKlanguages——討論ZK語言
嘉賓:AlexOzdemir和AnnaRose
https://zeroknowledge.fm/172-2/
Arkworks—使用zkSNARKs開發和編程的Rust生態系統
https://github.com/arkworks-rs
DarkForest—applyingzkcryptographytogames:DarkForest,將zk密碼學應用于游戲
完全去中心化且持久的RTS游戲
https://blog.zkga.me/announcing-darkforest
ZKPsforengineers——面向工程師的ZKP
DarkForestZKP研究
https://blog.zkga.me/df-init-circuit
Adiveintozeroknowledge——深入了解零知識
嘉賓:ElenaNadolinkski、AnnaRose、JamesPrestwich
https://zeroknowledge.fm/182-2/
zkDocs:Zero-knowledgeinformationsharing——zkDocs:零知識信息共享
作者:SamRagsdale、DanBoneh
https://a16zcrypto.com/zkdocs-zero-knowledge-information-sharing/
Privacy-protectingcryptoairdropswithzeroknowledgeproofs——零知識證明的隱私保護加密空投
作者:SamRagsdale的
https://a16z.com/2022/03/27/crypto-airdrop-privacy-tool-zero-knowledge-proofs/
ZKHack—謎題,更多
https://zkhack.dev/events/mini.html#puzzles
On-chaintrustedsetupceremonies——鏈上可信設置儀式
作者:ValeriaNikolaenko、SamRagsdale
https://a16zcrypto.com/on-chain-trusted-setup-ceremony/
Cryptoregulations,illicitfinance,privacy,andbeyond——加密法規、非法金融、隱私等
包括監管/合規環境中的零知識部分;“隱私保護”與混淆技術之間的區別
嘉賓:MicheleKorver、JaiRamaswamy、SonalChokshi
https://web3-with-a16z.simplecast.com/episodes/crypto-regulations-sanctions-compliance-aml-ofac-news-explained
其他資源
zkMesh通訊
每月通訊,分享最新的去中心化隱私保護技術、隱私協議開發和零知識系統
https://zkmesh.substack.com/
ZeroKnowledgepodcast——零知識播客
關于最新的zk研究和zk應用程序以及一起構建加密隱私技術的專家
嘉賓:AnnaRose
https://zeroknowledge.fm/
比利時金融監管機構稱,詐騙者利用虛假廣告從該國投資者那里盜取了高達1200萬美元。比利時金融監管機構發現新型的數字貨幣約會騙局:比利時的金融監管機構發現一種新型的數字貨幣約會騙局,欺詐者在Tin.
1900/1/1 0:00:00如何透過單一幣種持倉就可以在@uniswap進行LP質押,賺取高效收益,并建立中性頭寸策略?@0xAlexEuler在Medium發布了詳細的文章分享實際操作和回報方式,我進行了概括和中文翻譯.
1900/1/1 0:00:00概要 本周五反彈終于站上日線MA120,受FTX擠兌影響而普跌,但短期多頭走勢仍未破壞,之前幾周分析過,市場拋壓已經枯竭,在市場進一步整固后,有希望發展為中期反彈行情.
1900/1/1 0:00:00Synthetix、Uniswap們都使用了哪種Layer2方案?DeFi戰事正酣,領軍者另辟戰場.
1900/1/1 0:00:00保護你的隱私是你自己的責任。你可以從以下5點開始。作者:WilliamM.Peaster 來源:Bankless 反對隱私權的一個常見論點是“如果你沒做錯什么,有什么好隱瞞的?”但即使是那些說這.
1900/1/1 0:00:00錢包是加密資產存儲和管理的重要工具,類似于傳統金融中的銀行賬戶,用于存儲、發送和接收加密貨幣。然而,對于許多加密新手來說,錢包仍然是一個陌生的領域,也不清楚該選擇什么樣的錢包,本文旨在從最基礎的.
1900/1/1 0:00:00