Highlights
- Pro
Stars
A curated list of awesome things related to OP_CAT 🐱 on #bitcoin
A community-maintained collection of bugs, vulnerabilities, and exploits in apps using ZK crypto.
Rust-like high-level language that compiles down to Simplicity bytecode. Work in progress.
Pipe your nix-build output through the nix-output-monitor a.k.a nom to get additional information while building.
OpenAssistant is a chat-based assistant that understands tasks, can interact with third-party systems, and retrieve information dynamically to do so.
Reimplementation of Natural Number Game in Coq
Implementation of bulletproofs++ in rust
ulex-opensource / Ulex
Forked from proftomwbell/UlexThe open source legal system
Turing machine verifier written in Simplicity
Simple and documented config templates to help you get started with NixOS + home-manager + flakes. All the boilerplate you need!
A collection of NixOS modules covering hardware quirks.
Naive implementation of ROAST protocol for robust threshold signatures
A paper computer for Shamir's Secret Sharing over the Bech32 alphabet.
An efficient attack against insecure variants of MuSig, based on Benhamouda et al (2020)
Scripts, tools & info for doing Bitcoin Core development and code review
A collection of Nix packages and NixOS modules for easily installing full-featured Bitcoin nodes with an emphasis on security.
Official documentation for getting things done with Nix.
Python FFI bindings for libsecp256k1 (maintained)
Transparency for Mining Pool Transaction Selection