DanielKrawisz / TruthLinks
Mathematical proofs in c++ by way of the Curry Howard isomorphism.
☆14Updated 6 years ago
Alternatives and similar repositories for Truth
Users that are interested in Truth are comparing it to the libraries listed below
Sorting:
- Compiler for BitML☆27Updated 3 years ago
- A Bitcoin Script Interpreter and Debugger in Scala☆57Updated last year
- Balzac is a domain-specific language to write Bitcoin transactions.☆26Updated 2 months ago
- A Scala Based Decentralised Ledger (Blockchain)☆12Updated 3 years ago
- Simple bitcoin library written in Scala☆111Updated this week
- ErgoScript compiler and ErgoTree Interpreter implementation for Ergo blockchain☆65Updated this week
- Demo / PoC / implementation of IOHK MPC protocols☆19Updated 6 years ago
- Taproot security proof☆22Updated 5 years ago
- Documentation about scriptless scripts☆168Updated 8 months ago
- Proof of concept for the A2L protocol on top of Bitcoin.☆19Updated 5 years ago
- EncryCore node reference implementation☆15Updated 5 years ago
- Simple implementation of Bitcoin CoinSwap, client-server☆32Updated 7 years ago
- EVM (Ethereum virtual machine) Assembly on Haskell DSL☆66Updated 7 years ago
- An EVM code verification framework in Coq☆44Updated 8 years ago
- A detailed description of how Bitcoin Elements Alpha Confidential Transactions works☆58Updated 7 years ago
- Experiments in a improving Bitcoin using a Directed Acyclic Graph instead of a chain☆37Updated last year
- Bitcoin Implementation in Scala☆367Updated this week
- Manual for building a Lightning Network node on RasPi hardware from scratch☆17Updated 5 months ago
- CABRA — Comprehensive Academic Bitcoin Research Archive☆106Updated 6 years ago
- A minimalistic blockchain consensus implemented and verified in Coq☆113Updated 5 years ago
- Bitcoin network simulator☆19Updated 10 years ago
- Pay for the solution to a sudoku puzzle with a zero-knowledge contingent payment☆102Updated 8 years ago
- Schnorr related examples (Schnorr, BN, MuSig, discreet log contracts)☆35Updated 7 years ago
- Language Design Community for the EVM: Intro and Resources☆136Updated 8 years ago
- Fabric is an experimental protocol for exchanging information.☆10Updated 3 months ago
- Bitcoin script compilation, manipulation and decompilation☆14Updated 5 years ago
- Optimised bilinear pairings over elliptic curves☆56Updated last year
- Sparkswap engine for LND☆31Updated 5 years ago
- ☆10Updated 5 years ago
- Discreet Log Contracts library☆32Updated 3 years ago