Lysin He's repositories
hberl-compiler
An Erlang translator with code security check written in Erlang.
awesome-corda
A curated list of awesome Corda resources
awesome-zero-knowledge-proofs
A curated list of awesome things related to learning zero knowledge proofs
libsnark-tutorial
Tutorial and example code for using libsnark
awesome-layer-2
All the layer 2 projects
AZTEC
Public repository for the AZTEC protocol
baseline
The Baseline Protocol is an open source initiative that combines advances in cryptography, messaging, and blockchain to execute secure and private business processes at low cost via the public Ethereum Mainnet. The protocol will enable confidential and complex collaboration between enterprises without leaving any sensitive data on-chain
blockbench
BLOCKBENCH: A Framework for Analyzing Private Blockchains. Blockbench contains workloads for measuring the data processing performance, and workloads for understanding the performance of different layers of Blockchain systems.
blockchain-consensus
This is my attempt to list all possible blockchain consensus out there, i welcome pull request of the blockchain community! lets make it the main reference for blockchain consensus
libhotstuff
A general-purpose BFT state machine replication library with modularity and simplicity, suitable for building hybrid consensus cryptocurrencies.
pairing
Pairing-friendly elliptic curve library.
result-flow
Java library for functional style "Railway Oriented Programming"
Smart_Contract_Security_Analysis
Papers of smart contract security analysis (and tools)
State-of-the-Mixers-Summer-2019
A survey of active mixer efforts on Ethereum, including history, context and benchmarks. Commissioned by MolochDAO 👹.
Top-Blockchain-paper
Top Blockchain paper, such as CCS, NSDI, S&P, EuroS&P, INFOCOM, etc.
ZKProofs.github.io
ZKProofs website