Pinned Repositories
bech32
Code snippets and analysis of the Bech32 format
bips
Bitcoin Improvement Proposals
bitcoin
Bitcoin Core integration/staging tree
bulletproofs
A pure-Rust implementation of Bulletproofs using Ristretto.
codex32
A paper computer for Shamir's Secret Sharing over the Bech32 alphabet.
CompCert
The CompCert C verified compiler
coq
Coq is a formal proof management system. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive development of machine-checked proofs.
elements
Feature experiments to advance the art of Bitcoin
elements-nix
Nix expression for building elements in various configurations
roconnor-blockstream's Repositories
roconnor-blockstream/bitcoin
Bitcoin Core integration/staging tree
roconnor-blockstream/elements-nix
Nix expression for building elements in various configurations
roconnor-blockstream/bech32
Code snippets and analysis of the Bech32 format
roconnor-blockstream/bips
Bitcoin Improvement Proposals
roconnor-blockstream/bulletproofs
A pure-Rust implementation of Bulletproofs using Ristretto.
roconnor-blockstream/codex32
A paper computer for Shamir's Secret Sharing over the Bech32 alphabet.
roconnor-blockstream/CompCert
The CompCert C verified compiler
roconnor-blockstream/coq
Coq is a formal proof management system. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive development of machine-checked proofs.
roconnor-blockstream/elements
Feature experiments to advance the art of Bitcoin
roconnor-blockstream/elementsproject.org
Source code for the ElementsProject.org website
roconnor-blockstream/fiat-crypto
Cryptographic Primitive Code Generation by Fiat
roconnor-blockstream/lightning
c-lightning — a Lightning Network implementation in C
roconnor-blockstream/nixpkgs
Nix Packages collection
roconnor-blockstream/qa-assets
Elements-related blobs used for quality assurance.
roconnor-blockstream/safegcd-bounds
Bounds on divsteps iterations in safegcd
roconnor-blockstream/secp256k1
Optimized C library for EC operations on curve secp256k1
roconnor-blockstream/secp256k1-zkp
A fork of libsecp256k1 with support for advanced and experimental features such as Confidential Assets and MuSig2
roconnor-blockstream/simplicity
Simplicity is a blockchain programming language designed as an alternative to Bitcoin script.
roconnor-blockstream/slips
SatoshiLabs Improvement Proposals
roconnor-blockstream/VST
Verified Software Toolchain
roconnor-blockstream/wallets