Sanket Kanjalkar

rust-bulletproofs-pp. Implementation of bulletproofs++ in rust

adv_btc_workshop. Advancing bitcoin Hands on Miniscript workshop. Read the `tap_ms_workshop.ms` for details.

auditablempc. Rust

bulletproofs-svm. SVM implementation of bulletproofs

birch-clustering-algorithm. Automatically exported from code.google.com/p/birch-clustering-algorithm

coq-fun. Learning Coq theorem proving :)

hal. the Bitcoin companion

rust-miniscript. Support for Miniscript and Output Descriptors for rust-bitcoin

bitcoin-prometheus-exporter. Prometheus exporter for Bitcoin Core nodes

Seoulbitcoin-scripts. Python

ln_simulator. Framework for playing around with LN nodes

secp256k1-zkp. Experimental fork of libsecp256k1 with support for pedersen commitments and range proofs.

bp-pp-scratchboard. Scratch Board for understanding BulletProof++

covenants-demo. Rust