Dmitry Petukhov's repositories
SASwap_TLAplus_spec
TLA+ specification for Succinct Atomic Swap smart contract
miniscript-alloy-spec
Formal specification for Miniscript in Alloy
bip32_template_python_implementation
Implementation of the parser/matcher for BIP32 path templates
spark-bitcoin-transaction-example
Example of Bitcoin transaction parsing with Ada/SPARK2014
bip32_template_parse_tplaplus_spec
TLA+ specification of the parser for BIP32 path templates
ABL_contract_TLAplus_spec
TLA+ Specification for Asset-Based Lending smart contract state transition table generation
bip32_template_c_implementation
C implementation of BIP32 path template parser finite state machine
awesome-liquid
An awesome list of resources on Liquid sidechain
bitcoinops.github.io
Bitcoin Optech website
confidential-assets-demo
Confidential Assets Demo built on the Elements blockchain platform
cryptocoding
Guidelines for low-level cryptography software
elements
Open Source implementation of advanced blockchain features extending the Bitcoin protocol
elementsproject.github.io
https://elementsproject.org website
frap
Formal Reasoning About Programs
learntla
A TLA+ guide
miniscript
Miniscript site and implementation
python-bitcoinlib
Python2/3 library providing an easy interface to the Bitcoin data structures and protocol.
secp256k1-zkp
Experimental fork of libsecp256k1 with support for pedersen commitments and range proofs.
stage0
A set of minimal dependency bootstrap binaries