比特幣價格 比特幣價格
Ctrl+D 比特幣價格
ads
首頁 > DYDX > Info

HTT:金色觀察|零知識證明經典文獻大匯總(可收藏)_lunar幣價格今日行情

Author:

Time:1900/1/1 0:00:00

?a16zcrypto出過一系列經典文獻,從去年的DAO經典到更早的NFT經典。

本文,?a16zcrypto為那些尋求理解、深入和構建零知識的人挑選了一組資源:強大的基礎技術,這些基礎技術掌握著區塊鏈可擴展性的關鍵,代表著隱私應用程序的未來,包括加密/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

金色晨訊 | 11月8日隔夜重要動態一覽:21:00-7:00關鍵詞:拜登獲勝,以太坊2.0,Messari首席執行官、華爾街日報

1. 美聯社已將拜登獲勝記錄在以太坊區塊鏈上。

2. 以太坊2.0存款合約已上線3天,完成度約8%。

3. 分析:特朗普不承認大選結果給市場帶來恐慌 致使加密貨幣價格回調。

4. Messari首席執行官:因美國政府分裂 比特幣將在未來半年漲到10萬美元。

5. CoinShares首席戰略官:美國政府通過隱私法等方式對加密行業造成困難。

6. 華爾街日報:拜登正考慮聘請加密專家Gary Gensler為財務顧問。

7. 摩根溪聯合創始人:真正考驗是如何在未來10年持有BTC并保護其安全。

8. 直布羅陀數字和金融服務部長:DLT技術正創造全新價值來源及經營方式。[2020/11/8 11:59:37]

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

Succinctnon-interactivezeroknowledgeforavonNeumannArchitecture(2013)——為vonNeumann架構提供簡潔非交互式零知識

作者:EliBen-Sasson、AlessandroChiesa、EranTromer、MadarsVirza

金色相對論 | 兩會中的區塊鏈:社會治理與公共服務:6月4日下午16:00,金色財經舉行「兩會系列專題」第三期AMA——治理篇,特邀不同部門領導做客「金色相對論」,講述社會中的區塊鏈治理與公共服務。敬請鎖定金色財經直播間![2020/6/4]

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白板會議:介紹性文章

作者DanBoneh等

https://zkhack.dev/whiteboard/

Securityandprivacyforcryptowithzkps——zkps加密的安全性和隱私性

在實踐中領先的零知識證明;zkps是什么以及它們是如何工作的……包括現場“演示”

作者:ZookoWilcox

https://a16z.com/2019/08/29/security-and-privacy-for-crypto-with-zero-knowledge-proofs/

金色相對論 | 楊玉梅:區塊鏈行業破局之道在于技術的大發展:在本期金色相對論中,節點資本管理合伙人楊玉梅發言指出:其實投資機構對于前沿技術的敏感度是非常高的,據我所知,七八年前就已經有傳統投資機構關注這個領域了。同時在行業發展過程中,也不斷吸引著不少傳統投資機構和資金的進入,因為資本是個逐利的行業,那么當行業發展趨好或者出現重大技術突破的時候一定會吸引大批投資機構介入。

區塊鏈行業說到底是一個技術驅動的行業,破局之道自然在于技術的大發展,或者說一個大型應用落地案例的出現和成熟。當資本方看到一個有著很大的發展空間并欣欣向榮的行業發展潛力的時候,那么破局之道便不遠了。另外是行業自律。從這幾年的發展來看,除了技術突破,健康的環境也是行業發展的重要因素,無論市場監督還是行業自律都是環境健康的重要保障。[2020/2/13]

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介紹

作者: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

金色財經現場報道 德勤美國金融服務行業區塊鏈小組領導者:因知識產權管理幾十年沒有變化 企業正在關注區塊鏈解決方案:金色財經現場報道,今日在Coindesk 2018共識會議有關基于區塊鏈的知識產權管理的圓桌討論上,德勤美國金融服務行業區塊鏈小組領導者Linda Pawczuk表示,管理知識產權的關鍵方面幾十年沒有改變,因此企業正在關注區塊鏈解決方案一點也不奇怪。[2018/5/15]

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研究與教學法

來自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密碼學冬季學校

金色財經獨家分析 交易所馬太效應反映出交易者“抱團”心里:事實證明,以去中心化驅使的加密貨幣愛好者更喜歡在大的中心化交易所里抱團。今日時戳資本發布的研究報告中指出了14家頭部教育所交易額對于整個市場的絕對優勢。交易所行業的馬太效應十分明顯。在合規性、安全性、流動性等方面,人們還是十分信賴各大中心化交易所。這種現象反映兩個方面:1、人們從心里層面對于中心化依賴還是很強,喜歡抱團;2、“中心化”交易所已經成為虛擬貨幣發展的一種現象,現階段我們需要中心化的交易所“代理”進行甄別和判斷。[2018/4/16]

來自應用密碼學和網絡安全研究中心

作者: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/

Tags:HTTTPSARKNARCHTT價格tps幣圈Benchmarklunar幣價格今日行情

DYDX
以太坊:合并后的第一天:快速回顧 PoS 以太坊設計_Alphaslot

來源:@stonecoldpat0作者:PatrickMcCorry 能源消耗 合并后的能源消耗會減少99.8%.

1900/1/1 0:00:00
以太坊:美國與AWS:以太坊合并后的嚴重“中心化”問題_THE

作者:Harith?Kamarul 編譯:吳說區塊鏈 激動人心的以太坊合并終于要來了,合并預計于9月14日至15日進行。在我們準備進入以太坊權益證明的新世界之時,一起來回顧與權益相關的關鍵指標.

1900/1/1 0:00:00
Maker:MakerDAO 的困局與機遇:治理改革如何實現_makerdao創始人

DeFi協議的真實情況可能并不像表面數據那樣光鮮亮麗。DeFi協議的真實情況可能并不像表面數據那樣光鮮亮麗.

1900/1/1 0:00:00
NFT:速覽 NFT 期權賽道代表項目與發展前景_Ether-1

NFT期權的誕生為NFTFi?的發展提供了更多新的思路與組成結構化產品的可能。原文標題:《NFT衍生品報告:零基礎讀懂NFT期權協議》撰文:RongbuDAO從BendDAO到Sudoswap,

1900/1/1 0:00:00
區塊鏈:Paradigm:制裁與審查對區塊鏈基礎設施的影響_SDN

制裁是阻止敵對行為者的工具,而不是破壞技術基礎設施或公共產品。原文標題:《Paradigm關于基礎層中立性的研究:制裁和審查對區塊鏈基礎設施的影響》撰文:RodrigoSeira,AmyAixi.

1900/1/1 0:00:00
NFT:金色Web3.0日報 | Yuga Labs聯創否認將推出新NFT系列“Mecha Apes”_比特幣市值跌破5000億美元會怎樣

DeFi數據 1.DeFi代幣總市值:453.1億美元 DeFi總市值數據來源:coingecko2.過去24小時去中心化交易所的交易量38.

1900/1/1 0:00:00
ads