Cryptographic identity infrastructure and Cardano tooling, mostly in Haskell.
🔗 lambdasistemi.net · 📫 paolo.veronelli@gmail.com
I work mainly at:
- Lambdasistemi — cryptographic infrastructure and tooling for Cardano
- Cardano Foundation — open-source Cardano node tooling and wallet
| Repository | Description | Logbook |
|---|---|---|
| haskell-mts | Merkle Tree Store — CSMT + MPF library with Lean 4 proofs and WASM targets | Jun 2026 |
| cardano-mpfs-offchain | Merkle Patricia Forestry server — proof-carrying API, RocksDB persistence, devnet | Jul 2026 |
| cardano-utxo-csmt | CSMT over the Cardano UTxO set — HTTP service for inclusion proofs | Jun 2026 |
| cardano-stake-csmt | CSMT over per-epoch stake distribution — verifiable stake-weighted voting proofs | Jun 2026 |
| cardano-ledger-rdf | Cardano ledger to RDF — transaction graph emitter and SPARQL tooling | Jul 2026 |
| cardano-knowledge-maps | Interactive knowledge graph of Cardano governance (CIP-1694 / Conway era) | Jun 2026 |
| graph-browser | RDF graph browser SPA — PureScript + Cytoscape.js, guided tours | Apr 2026 |
| cardano-ledger-inspector | Cardano ledger operations compiled to WASI — browser inspector and CLI | Jul 2026 |
| cardano-addresses-browser | Browser-based Cardano address toolkit — PureScript replacement for cardano-addresses CLI | |
| amaru-treasury-tx | Build and sign Amaru treasury transactions — disburse, reorganize, withdraw, swap | Jul 2026 |
| rocksdb-kv-transactions | RocksDB backend for composable key-value transactions | Apr 2026 |
| cardano-node-clients | Typed Cardano node protocol clients — Haskell library | Jul 2026 |
| cardano-keri | KERI AID on Cardano — self-certifying identifiers with pre-rotation for on-chain credential anchoring | Jul 2026 |
| chain-follower | Chain-sync follower with rollback support | Apr 2026 |
| cardano-vcr | Record and replay Cardano node interactions for testing | Apr 2026 |
| cardano-mithril-client | Haskell Mithril client — certified snapshot downloads | Apr 2026 |
| harvest | ZK voucher system for Cardano using Groth16 proofs | |
| zk-lab | Lab for intention-driven zero-knowledge DSL targeting Plutus | |
| cardano-bbs | BBS+ anonymous credentials for Cardano — Haskell off-chain + Aiken on-chain | |
| eu-digital-product-passport | Digital product passport on Cardano | Apr 2026 |
| cardano-for-regulators | Cardano explainers and tools for regulatory contexts | Apr 2026 |
| Repository | Description | Logbook |
|---|---|---|
| moog | Antithesis simulation testing orchestrator for Cardano node | Jun 2026 |
| cardano-node-antithesis | Cardano testnet harness and assets for the Antithesis testing platform | Jul 2026 |
| cardano-wallet | HTTP server and CLI for managing UTxOs and HD wallets on Cardano | Jul 2026 |
| cardano-mpfs-onchain | Aiken on-chain validators for Merkle Patricia Forestry on Cardano | Jul 2026 |
| cardano-balance-transaction | Balance transaction library | Jun 2026 |
| cardano-coin-selection | Coin-selection library extracted from cardano-wallet — also runs in-browser via WebAssembly | Apr 2026 |
| cardano-ledger-read | Read Cardano block data, parametrized by era | Apr 2026 |