금빛 관찰|제로 지식 증명 고전 문헌 모음(소장 가능)

 a16z crypto는 일련의 고전 문헌을 냈는데 작년의 DAO 고전부터 이전의 NFT 고전까지 (그리고 그 이전에는 최초의 암호화 고전이었다).

본문, & nbsp;a16zcrypto는 제로 지식을 이해하고 깊이 있게 구축하는 사람들을 위해 강력한 기초 기술을 선택했다. 이런 기초 기술은 블록체인 확장성의 관건을 파악하고 프라이버시 응용 프로그램의 미래를 대표한다. 암호화/웹3의 응용 프로그램을 포함하여 수많은 다른 혁신을 포함한다.

이러한 혁신은 유래가 깊다. Shafi Goldwasser, Silvio Micali와 Charles Rackoff는 1985년에 제로 지식 증명 시스템을 도입했고 암호학 분야에 변혁적인 영향을 미쳤다.그들은 이로 인해 2012년 ACM 투령상을 받았다.이 작업은 수십 년 동안 준비되었기 때문에 특히 이론에서 실천에 이르는 과정에서 우리는 처음으로 우리의 고전 시리즈에서 두 번째 부분을 공유했다. Justin Thaler가 주제와 연표에 따라 주석을 작성한 읽기 목록이다.

본문은 제1부분이다.

기초, 배경, 변천

그 중에서 일부 논문도 일반적인 암호학(모두 제로 지식 자체가 아니다)과 더 많이 관련된다. 이는 현재의 제로 지식 증명이 해결하는 문제나 관건적인 진전을 개괄한다. 즉, 어떻게 개방된 네트워크에서의 프라이버시와 신분 검증을 확보하는가이다.

New directions in cryptography(1976)-암호학의 새로운 방향(1976)

저자: Whitfield Diffie 및 Martin Hellman

https://ee.stanford.edu/~hellman/publications/24.pdf

A method for obtaining digital signatures and public-key cryptosystems - 디지털 서명과 공개 키 암호화 시스템을 얻는 방법

저자: Ronald Rivest, Adi Shamir, Leonard Adelman

https://citeseerx.ist.psu.edu/viewdoc/download;jsessionid=856E21BC2F75800D37FD611032C30B9C?doi=10.1.1.40.5588&rep=rep1&type= pdf

Protocols for public key cryptosystems(1980) - 공개 키 암호화 시스템 프로토콜(1980)

저자: Ralph Merkle

http://www.merkle.com/papers/Protocols.pdf

Secure communications over insecure channels(1978)-안전하지 않은 채널을 통한 보안 통신(1978)

저자: Ralph Merkle

https://www.merkle.com/1974/PuzzlesAsPublished.pdf

Use of elliptic curves in cryptography (1988) - 암호학에서 타원 곡선 사용하기 (1988)

작성자: Victor Miller

https://link.springer.com/content/pdf/10.1007%2F3-540-39799-X_31.pdf

The knowledge complexity of interactive proof-systems(1985)-상호작용 증명 시스템의 지식 복잡성(1985)

저자: Shafi Goldwasser, Silvio Micali, Charles Rackof

https://citeseerx.ist.psu.edu/viewdoc/download?doi=10.1.1.419.8132&rep=rep1&type=pdf

Computationally sound proofs(2000) - 계산 건전 증명(2000)

저자: Silvio Micali

https://people.csail.mit.edu/silvio/Selected%20Scientific%20Papers/Proof%20Systems/Computationally_Sound_Proofs.pdf

From extractable collision resistance to succinct non-interactive arguments of knowledge [SNARKs], and back again(2011) - 추출 가능한 충돌성에서 간결한 비상호작용 지식 증명 [SNARKs]로 되돌아가기(2011년)

저자: Nir Bitansky, Ran Canetti, Alessandro Chiesa, Eran Tromer

https://eprint.iacr.org/2011/443.pdf

Efficient zero-knowledge argument for correctness of a shuffle(2012)--카드 세탁의 정확성에 대한 유효한 제로 지식 논증(2012)

저자: Stephanie Bayer, Jens Grothhttp://www0.cs.ucl.ac.uk/staff/J.Groth/MinimalShuffle.pdf

Succinct non-interactive zero knowledge for a von Neumann Architecture(2013)-von Neumann 구조에 간결한 비상호작용 제로 지식 제공(2013년)

저자: Eli Ben-Sasson, Alessandro Chiesa, Eran Tromer, Madars Virza

https://eprint.iacr.org/2013/879.pdf

Scalable,transparent, andpost-quantum secure computational integrity(2018) – 확장성, 투명성 및 후양자 보안 컴퓨팅 무결성(2018년)

저자: Eli Ben-Sasson, Iddo Bentov, Yinon Horesh, Michael Riabzev

https://eprint.iacr.org/2018/046.pdf

Public-coin zero-knowledge arguments with (almost) minimal time and space overheads (2020) - 최소 시간과 공간 비용을 가진 공공 기호화폐 제로 지식 논증 (2020)

저자: Alexander Block, Justin Holmgren, Alon Rosen, Ron Rothblum, Pratik Soni

https://www.iacr.org/cryptodb/data/paper .php?pubkey=30645

종합 서술과 소개

Proofs,arguments, and zero-knowledge-증명, 논증, 제로 지식

본고는 검증 가능한 계산과 상호작용식 증명과 논증을 종합하여 증명자가 증명자에게 요청 계산의 암호화 프로토콜을 정확하게 집행할 수 있도록 한다. 이는 제로 지식(증명, 그들 자신의 유효성 외에 어떠한 정보도 제시하지 않음)을 포함한다.Zk 논증은 암호학에서 무수한 응용을 했고 지난 10년 동안 이론에서 실천으로 도약했다.

저자: Justin Thaler

https://people.cs.georgetown.edu/jthaler/ProofsArgsAndZK.pdf

An evolution of models for zero-knowledge proofs - 제로 지식 증명 모델의 진화

제로 지식 증명에 대한 회고에 따르면 Meiklejohn(런던대학, 구글)은 그 발전을 추진하는 응용 프로그램에 착안하여 이러한 새로운 상호작용을 포착하기 위해 나타난 서로 다른 모델, 우리가 실현할 수 있는 구조와 다른 업무에 착안했다.

저자: Sarah Meiklejohn

https://www.youtube.com/watch?v=HO97kVMI3SE

ZK whiteboard sessions - ZK 화이트보드 회의: 소개

작가 Dan Boneh 등.

https://zkhack.dev/whiteboard/

zkps 암호화된 보안과 개인 정보 보호 - zkps 암호화의 보안과 개인 정보 보호

실천에서 앞서는 제로 지식 증명;zkps가 무엇인지, 그리고 어떻게 작동하는지... 현장 프레젠테이션 포함

작성자: Zooko Wilcox

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

Top tech topics, explained - 최고의 기술 주제 설명

제로 지식의 일반적인 정의와 의미를 포함한다

저자: Joe Bonneau, Tim Roughgarden, Scott Kominers, Ali Yahya, Chris Dixon

https://web3-with-a16z.simplecast.com/episodes/hot-research-summer-blockchain-crypto-tech-topics-explainers-overviews-seminar-videos

제로 지식 해석-5레벨 난이도

작성자: Amit Sahai from Wired

https://youtu.be/fOGdb1CTu5c

How the coming privacy layer will fix a broken web--곧 다가올 프라이버시층이 손상된 인터넷을 어떻게 복구할 것인가

작성자: Howard Wu

https://future.com/a-privacy-layer-for-the-web-can-change-everything/

zkSNARKs 소개 - zkSNARKs 소개

작성자: Howard Wu, Anna Rose

https://zeroknowledge.fm/38-2/

Why and how zk-SNARK Works: a definitive explanation - zk-SNARK 메커니즘 및 어떻게 작동하는지: 권위 있는 설명

저자: Maksym Petkus

https://arxiv.org/pdf/1906.07221.pdf

제로 지식 증명 - 제로 지식 증명 소개

저자: Fredrik Harrysson, Anna Rose

https://www.zeroknowledge.fm/21  

[그리고 다른 곳의 총결산문https://blog.goodaudience.com/understanding-zero-knowledge-proofs-through-simple-examples-df673f796d99]

Zk-SNARKs: under the hood -- Zk-SNARKs: 본질

저자: Vitalik Buterin

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

Decentralized speed - 탈중심화 속도

제로 지식 증명, 탈중심화 하드웨어의 진전

저자: Elena Burger

https://a16z.com/2022/04/15/zero-knowledge-proofs-hardware-decentralization-innovation/

Cutting edge zk research-zk 최첨단 연구

이더리움 재단 zk 연구원 Mary Maller, Anna Rose, Kobi Gurkan

https://zeroknowledge.fm/232-2/

Exploring zk research - 탐색 zk 연구

게스트: DFINITY 연구 담당자,그리고 Groth 16에서 온 Jens Groth, Anna Rose, Kobi Gurkan.

https://zeroknowledge.fm/237-2/

SNARK research & pedagogy - SNARK 연구 및 교수법

ZCash와 Starkware의 공동 창시자 중 한 명인 Alessandro Chiesa, Anna Rose에서 왔습니다.

https://zeroknowledge.fm/episode-200-snark-research-pedagogy-with-alessandro-chiesa/

심층: 과정, 분해, 작성자 안내

Foundations of probabilistic proofs - 확률 증명의 기초

5개 단원의 대화식 증명 과정 및 추가 내용 포함

저자: Alessandro Chiesa

https://www.youtube.com/playlist?list=PLGkwtcB-DfpzST-medFVvrKhinZisfluC

9th BIU Winter School on Cryptography-제9회 BIU 암호학 겨울학교

응용 암호학 및 네트워크 보안 연구 센터

저자: Yehuda Lindell, Benny Pinkas, Eli Ben-Sasson, Jens Groth, Carmit Hazay, Yuval Ishai, Alon Rosen, Ron Rothblum

https://cyber.biu.ac.il/event/the-9th-biu-winter-school-on-cryptography/

Interactive proofs and zero knowledge-대화식 증명과 제로 지식

스탠퍼드 CSS 355 암호학 주제(2018)

저자: 헨리 코리건-Gibbs, 샘김, 데이비드 우

https://crypto.stanford.edu/cs355/18sp/lec3.pdf

Interactive demonstration of the zero knowledge proof protocol for 3-colorable graphs - 3색 그림의 제로 지식 증명 프로토콜의 상호작용 프레젠테이션

한 사람이 검증자를 설득하여 하나의 사실의 진실성을 믿게 하고, 이 그림의 실제 세 가지 색깔을 밝힐 필요가 없다.

http://web.mit.edu/~ezyang/Public/graph/svg.html  [자세한 내용은https://www.cs.cmu.edu/~goyal/s18/15503/scribe_notes/lecture23.pdf]

SNARK design, part 1 ——SNARK 설계, 섹션 1

조사, Rollup에서 더 많이 사용

저자: Justin Thaler

https://www.youtube.com/watch?v=tg6lKPdR_e4

SNARK design, part 2 - SNARK 디자인, 섹션 2

Rollup, 성능, 보안

저자: Justin Thaler

https://www.youtube.com/watch?v=cMAI7g3UcoI

STARKs: part I, II, III - STARKs: 첫째, 둘째, 셋째 부분

작가 Vitalik Buterin

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

Anatomy of a STARK - STARK 분석

STARK 증명 시스템 메커니즘을 설명하는 6부 자습서

저자: Alan Szepieniec

https://aszepieniec.github.io/stark-anatomy/

SNARK 성능 측정 - SNARK 성능 측정

프런트엔드, 백엔드, 추가

저자: Justin Thaler

https://a16zcrypto.com/measuring-snark-performance-frontends-backends-and-the-future/

PLONK 이해 - PLONK 이해

작성자: Vitalik

https://vitalik.ca/general/2019/09/22/plonk.html

PLONK 제로 지식 증명 시스템 - PLONK 제로 지식 증명 시스템

PLONK가 어떻게 작동하는지에 대한 12개의 짧은 비디오 시리즈

저자: David Wong

https://www.youtube.com/playlist?list=PLBJMt6zV1c7Gh9Utg-Vng2V6EYVidTFCC

From AIRs to RAPs ——AIRs에서 RAPs까지

PLONK 스타일의 알고리즘은 어떻게 작동합니까

저자: Ariel Gabizon

https://hackmd.io/@aztec-network/plonk-arithmetiization-air

Multiset checks in PLONK and Plookup - PLONK 및 Plookup의 다중 집합 검사

저자: Ariel Gabizon

https://hackmd.io/@arielg/ByFgSDA7D

Halo2 디자인 - Halo2 디자인

ECC에서

https://zcash.github.io/halo2/design.html

Plonky2

https://github.com/mir-protocol/plonky2/blob/main/plonky2/plonky2.pdf

응용 프로그램 및 강좌: 개념 증명, 프레젠테이션, 도구 등

Applied zk

학습 자원은 정식 수학 배경이 없는 엔지니어에게 자료를 제공하여 기초 이론에 대한 탄탄한 이해를 가속화시킨다

작성자: 0xPARC

https://learn.0xparc.org/materials/intro

zkSNARKs-zkSNARKs의 온라인 개발 환경을 위한 온라인 개발 환경 zkREPL

zkREPL은 브라우저 내의 Circom 도구 모음과 상호작용하는 새로운 도구 모음입니다.

작성자: Kevin Kwok

https://zkrepl.dev

0에서 hero로 Quadraticarithmetic 프로그램 - 2차 산술 프로그램: 0에서 정통까지

저자: Vitalik Buterin

https://medium.com/@VitalikButerin/quadratic-arithmetic-programs-from-zero-to-hero-f6d558cea649

On zkEVMs – 논zkEVM

게스트: Alex Gluchowski, Anna Rose

https://zeroknowledge.fm/175-2/

zkEVMs의 다른 유형-서로 다른 유형의 zkEVM

저자: Vitalik Buterin

https://vitalik.ca/general/2022/08/04/zkevm.html

ZK machine learning - ZK 머신러닝

SNARK의 튜토리얼과 프레젠테이션에 신경 네트워크 도입

저자: Horace Pan, Francis Ho, Henri Palacci

https://0xparc.org/blog/zk-mnist

On ZK languages - ZK 언어 토론

게스트: Alex Ozdemir 및 Anna Rose

https://zeroknowledge.fm/172-2/

Arkworks - zkSNARKs를 사용하여 개발 및 프로그래밍된 Rust 생태계

https://github.com/arkworks-rs

Dark Forest - applying zk cryptography to games: Dark Forest, zk 암호학을 게임에 적용

완전 탈중심적이고 지속적인 RTS(실시간 정책) 게임

https://blog.zkga.me/announcing-darkforest

ZKPs for engineers - 엔지니어를 위한 ZKP

Dark Forest ZKP 연구

https://blog.zkga.me/df-init-circuit

A dive into zero knowledge - 제로 지식 깊이 이해하기

게스트: Elena Nadolinkski, Anna Rose, James Prestwich

https://zeroknowledge.fm/182-2/

zkDocs: 제로 지식 정보 공유 - zkDocs: 제로 지식 정보 공유

저자: Sam Ragsdale, Dan Boneh

https://a16zcrypto.com/zkdocs-zero-knowledge-information-sharing/

Privacy-protecting crypto airdrops with zero knowledge proofs - 제로 지식이 증명된 프라이버시 보호 암호화 공중 투하

작가: Sam Ragsdale의

https://a16z.com/2022/03/27/crypto-airdrop-privacy-tool-zero-knowledge-proofs/

ZK Hack - 수수께끼, 더

https://zkhack.dev/events/mini.html#puzzles

On-chain trusted setup ceremonies – 체인 신뢰할 수 있는 설정식

저자: Valeria Nikolaenko, Sam Ragsdale

https://a16zcrypto.com/on-chain-trusted-setup-ceremony/

Crypto regulations, illicit finance, privacy, and beyond - 암호화 법규, 불법 금융, 프라이버시 등

감독/규정 준수 환경의 제로 지식 부분을 포함한다.프라이버시 보호와 혼동 기술 간의 차이

게스트: Michele Korver, Jai Ramaswamy, Sonal Chokshi

https://web3-with-a16z.simplecast.com/episodes/crypto-regulations-sanctions-compliance-aml-ofac-news-explained

기타 리소스

zkMesh 통신

매월 통신, 최신 탈중심화 프라이버시 보호 기술, 프라이버시 프로토콜 개발 및 제로 지식 시스템 공유

https://zkmesh.substack.com/

제로 지식 팟캐스트 - 제로 지식 팟캐스트

최신 zk 연구와 zk 응용 프로그램 및 암호화 프라이버시 기술 구축에 관한 전문가

게스트: Anna Rose

https://zeroknowledge.fm/