Mattia Pintus's Projects
Bitcoin Core integration/staging tree
Building blocks of a Circle STARK verifier in Bitcoin script
Bitcoin DA Adapter for Sovereign SDK
Utility to launch a regtest bitcoind process in a rust test
A javascript Bitcoin library for node.js and browsers.
Config files for my GitHub profile.
Catnet custom Bitcoin signet with OP_CAT enabled, used to test implementation of Bitcoin Circle STARK Verifier πΊ-πΊ
Examples of covenants in Bitcoin script
Gadgets for covenants: Schnorr trick and txid reflection
Kernel source tree for Raspberry Pi-provided kernel builds. Issues unrelated to the linux kernel should be posted on the community forum at https://forums.raspberrypi.com/
πβπ¨ Rare and exotic sats
Raspberry Pi benchmarking scripts featuring a storage benchmark with score
RISC Zero is a zero-knowledge verifiable general computing platform based on zk-STARKs and the RISC-V microarchitecture.
Firmware files for the Raspberry Pi
Bech32 format encoding and decoding
Rust Bitcoin library
Bitcoin's libbitcoinconsenus.a with Rust binding. Built from Bitcoin sources with cargo.
Rust RPC client library for the Bitcoin Core JSON-RPC API.
Rust library for working with Discreet Log Contracts
Support for Miniscript and Output Descriptors for rust-bitcoin
Rust language bindings for Bitcoin secp256k1 library.
A framework for building seamlessly scalable and interoperable rollups that can run on any blockchain
A "Type 0" zkEVM. Prove validity of Ethereum blocks using RISC Zero's zkVM