Stars
Language
Sort by: Recently starred
A CLI demo for trusted dealer key generation with Frost
C2pool: a C++ decentralized, DoS-resistant, Hop-Proof pool. Looking for testers...
A course to move beyond the built-in Rust testing toolkit.
Brisk is a complete Continuous Integration tool for executing your test suites. It is designed around speed and outperforms all other CI tools - primarily by only rebuilding the test env when neces…
Interactive, web-based environment for exploring TLA+ specifications.
Privacy-preserving Bitcoin light-client implementation in Rust
Advancing bitcoin Hands on Miniscript workshop. Read the `tap_ms_workshop.ms` for details.
TLA+ specification for Succinct Atomic Swap smart contract
Rust Monero/CryptoNote miner stratum protocol library
reardencode / bitcoin
Forked from bitcoin/bitcoinBitcoin Core integration/staging tree
Ready-to-run Docker images containing Jupyter applications
Ruby implementations of Two-Round Threshold Schnorr Signatures with FROST.
An highly-specialized DSL scripting language for Bitcoin Script and Miniscript
The implementation of the bitcoin protocol for ruby.
Cloudflare's Rust service foundations library.
Dr. TLA+ series - learn an algorithm and protocol, study a specification
Bitcoin CoinJoin implementation with incentive structure to convince people to take part
Create book from markdown files. Like Gitbook but implemented in Rust
Rust implementation of FROST (Flexible Round-Optimised Schnorr Threshold signatures) by the Zcash Foundation
Implementation of protocols for threshold signatures
Implementation of the FROST protocol for threshold Ed25519 signing