Stars
Documentation about scriptless scripts
Data about the past and current structure of the Lightning Network
Khalil, R. and Gervais, A. 2017. ACM Conference on Computer and Communications Security. Revive: Rebalancing Off-Blockchain Payment Networks.
BOLT: Basis of Lightning Technology (Lightning Network Specifications)
A proof-of-concept implementation to evaluate a UTXO-based generalized channel construction in Bitcoin.
Mastering Bitcoin 3rd Edition - Programming the Open Blockchain
Tutorial for writing constraints in the `arkworks` framework
🔒 A compiled checklist of 300+ tips for protecting digital security and privacy in 2024
Functional Programming for Ethereum: Intro and Resources
Formal methods training program with an emphasis on software in the blockchain & decentralized financed (DeFi) industry
Overview of the formal verification projects in the Ethereum ecosystem.
Solidity, the Smart Contract Programming Language
Formalization of the UTxO abstract model for (bitcoin-style) blockchain transactions.
This repository contains proposals, standards and documentations related to Nervos Network.
A guidebook to the bleeding edge of research topics in the Ethereum R&D Discord.
A simplified golang implementation of Ethereum's Modified Patricia Trie.
A library for zero knowledge (ZK) scalable transparent argument of knowledge (STARK)
Collection of ZKP-related cryptographic primitives
Diem’s mission is to build a trusted and innovative financial network that empowers people and businesses around the world.
Arithmatic circuits convertible to R1CS based on Bulletproofs
A pure-Rust implementation of Bulletproofs using Ristretto.