Stars
Language
Sort by: Recently starred
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.