BLS signature implementation on the BLS12-381 curve that meets the IETF spec.

Simulations of continuous-time dynamical systems (CTDS) that solve Boolean satisfiability (SAT) problems.

BabyJubJub elliptic curve implementation in Rust

Python library for working with circuit definitions represented in the Bristol Fashion.

Go implementation of the BLS12-381 pairing

BLS signatures in C++, using the relic toolkit

High-speed BLS12-381 implementation in Go

BOLT: Basis of Lightning Technology (Lightning Network Specifications)

CGen is a tool for encoding SHA-1 and SHA-256 hash functions into CNF in DIMACS format, also into ANF polynominal system in PolyBoRi output format.

State-of-art threshold ECDSA in Rust

🌉 Modular Multi-Directional Blockchain Bridge to interact with Multiple Networks; Ethereum, Ethereum Classic, Substrate, Cosmos-SDK based chains.

Javascript Bitcoin Wallet. Supports Multisig, Stealth, HD, SegWit, Bech32, Time Locked Addresses, RBF and more!

Conjure: The Automated Constraint Modelling Tool

CreuSAT - A formally verified SAT solver written in Rust and verified with Creusot.

SAT-based, MILP, and belief propagation preimage attacks on SHA-256 and other cryptographic hash functions

Rust language general purpose elliptic curve cryptography.