pool2win's Stars
tlaplus/Examples
A collection of TLA⁺ specifications of varying complexities
BlockstreamResearch/secp256k1-zkp
A fork of libsecp256k1 with support for advanced and experimental features such as Confidential Assets and MuSig2
jesseposner/FROST-BIP340
BIP340 compatible implementation of Flexible Round-Optimized Schnorr Threshold Signatures (FROST). This work is made possible with the support of Brink.
fredrikwidlund/hash-function-benchmark
Benchmark of common hash functions
jesseposner/secp256k1-zkp
Experimental fork of libsecp256k1 with support for pedersen commitments and range proofs.