roconnor-blockstream's repositories
elements-nix
Nix expression for building elements in various configurations
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
elementsproject.org
Source code for the ElementsProject.org website
fiat-crypto
Cryptographic Primitive Code Generation by Fiat
nixpkgs
Nix Packages collection
qa-assets
Elements-related blobs used for quality assurance.
safegcd-bounds
Bounds on divsteps iterations in safegcd
secp256k1
Optimized C library for EC operations on curve secp256k1
secp256k1-zkp
A fork of libsecp256k1 with support for advanced and experimental features such as Confidential Assets and MuSig2
simplicity
Simplicity is a blockchain programming language designed as an alternative to Bitcoin script.
slips
SatoshiLabs Improvement Proposals
VST
Verified Software Toolchain