Skip to content

A collection of links, research papers, tools, researchers, events, ... every web3 follower should know.

Notifications You must be signed in to change notification settings

jplaui/web3knowledge

Folders and files

NameName
Last commit message
Last commit date

Latest commit

Β 

History

32 Commits
Β 
Β 

Repository files navigation

Awesome Web3Knowledge

🍰 A collection of awesome knowledge about Web 3.0

Classification

Throughout this list you'll find emojis next to resources, here's what each of them indicates:

πŸ“œ Scientific paper

πŸ“š Course, long series or complete series

πŸ’£ Collection of valuable resources

🏫 A programming library

πŸ“ Documentation

πŸ’» Official Website

πŸ“— Specific, written tutorial

πŸ“Ή Video tutorial

πŸ’« Stellar resource, not from this earth

πŸ” Search

πŸ’‘ Utility

πŸ’° Grant

βš“ Decentralized Institution

πŸ“° News

✈️ Location

Content


Web 3.0 Definitions & Overviews

Cryptography

Number Theory Curves Fields

Elliptic Curves

Hash Functions

Pairings

Commitment Schemes

Accumulators

Merkle Trees

Universal Composability Model Security

Threshold Cryptography

Constraint Systems and Arithmetization

Arithmetization is a preliminary process that derives an alternative circuit representation that allows for a more efficient proof computation. In general, the "backend" of a SNARK considers pre-processing and formatting of an arithmetic or boolean circuit. The "frontend" of a SNARK describes the actual proof algorithm, which leverages the intermediate description emitted from the backend to efficiently prove & verify that a prover knows a specific witness that satisfies the circuit at hand. Most proof algorithms make use of pairings, where a specific elliptic curve is leveraged to homomorphically compute circuit satisfiability without disclosing the witness of the prover in plain.

Rank1 Constraint System and Quadratic Arithmetic Programs

Important for pairing based SNARKs, such as Groth16.

PLONK Arithemtization

Arithmetic Intermediate Representation

Important for zkEVM execution of SNARKS.

Zero Knowledge

Trusted Setup

Universal Setup

Transparent-No Setup

Unsorted ZKP Systems

Todo: Separate the below list and filter universal, trusted transparent setup, etc.

Recursive Proofs

Short-lived ZKPs

Multi-Verifier Proofs

Multi-Prover Proofs

Designated-Verifier Proofs

Garbled Circuits

Interactive Proofs based on VOLE

zk Virtual Machines

Decentralized Finance

Smart Contract Security

Arbitrage

Confidential UTXO and Mixers

Decentralized Key Management

Wallets

Decentralized Identity

Group Signatures

Credential Systems

Todo: separate into on-chain and off-chain credential systems.

Distributed Trust

Reputation and recommendation-based trust systems connected to blockchain verification.

Decentralized Oracles

Side Chain Committees

Cryptoeconomic Security

Decentralized Data Management

Access Control

Data Sharing

Storage

Secret Management

Privacy

The privacy tropic in the context of decentralized data management incorporates (i) asset attestation, delegation, transfer, etc. (ii) private information retrieval, (iii) oblivious random access machines (ORAMs), and (iv) confidential access control policies.

Secure Computation

Multi Party Computation

Homomorphic Encryption

Trusted Execution Environments

Privacy-preserving Computation

Differential Privacy

Data Lineage

Decentralized Computation

Blockchain-coordinated Computation

Todo: Separate blockchain coordinated computation into off-chain computation and smart contract execution.

On-chain Computation

Off-chain Computation

Hybrid Computation

Policy-compliant Computation

Policy Transpilers

User Centricity and Data Sovereignty

Systematizations of Knowledge

Application Development

Decentralized Programming

Smart Contracts

Layer 2 and Bridges

Oracles

Web 3.0 Identity

Infrastructure

This section is about running blockchain nodes and scaling of backend services.

Backend

Frontend

Standardization

Tooling

Cryptographic Libraries

Trusted Enclaves

Zero Knowledge Proofs

STARKs

Multi Party Computation

Programming

Golang

Rust

Solidity

Research

Paper Search

Education

Researchers to follow by domain

Name Blockchain Security Consensus Algorithms Decentralized Finance MPC / ZK Research
Dan Boneh βœ“ βœ“
Silvio Micali βœ“ βœ“ βœ“
Vitalik Buterin βœ“ βœ“ βœ“ βœ“
Andrew Miller βœ“ βœ“
Dawn Song βœ“ βœ“
Arthur Gervais βœ“ βœ“
Bryan Ford βœ“
Benedikt BΓΌnz βœ“
Raluca Ada Popa βœ“
Pratyush Mishra βœ“
Joseph Bonneau βœ“
Paul Grubbs βœ“
Ariel Gabizon βœ“
Shafi Goldwasser βœ“
Justin Thaler
Xiao Wang βœ“
Eli Ben-Sasson βœ“
Alessandro Chiesa βœ“

Conferences

Grants

Scientific Writing

Companies

Blockchain Development

Identity Management

Storage Network

Data Management

Resolution

Asset Management

Blockchain Projects

News


Others

TLS1.3

Decentralizing IoT Management

Compiler Frameworks

Consensus

Blockchain networking

Securing Certificate Issuing

DNSSEC

Anonymity


About

A collection of links, research papers, tools, researchers, events, ... every web3 follower should know.

Resources

Stars

Watchers

Forks

Releases

No releases published

Packages

No packages published