DanielKrawisz / TruthLinks
Mathematical proofs in c++ by way of the Curry Howard isomorphism.
☆13Updated 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 2 years ago
- Balzac is a domain-specific language to write Bitcoin transactions.☆26Updated 6 months ago
- Demo / PoC / implementation of IOHK MPC protocols☆20Updated 7 years ago
- Simple implementation of Bitcoin CoinSwap, client-server☆33Updated 7 years ago
- An EVM code verification framework in Coq☆44Updated 9 years ago
- Simple bitcoin library written in Scala☆114Updated last month
- Optimised bilinear pairings over elliptic curves☆56Updated 2 years ago
- An independent reimplementation of Ethereum in Haskell☆81Updated 10 years ago
- A Scala Based Decentralised Ledger (Blockchain)☆12Updated 3 years ago
- Documentation about scriptless scripts☆169Updated last year
- Taproot security proof☆22Updated 6 years ago
- EncryCore node reference implementation☆15Updated 5 years ago
- Bitcoin script compilation, manipulation and decompilation☆14Updated 5 years ago
- Language Design Community for the EVM: Intro and Resources☆133Updated 8 years ago
- Timelock encryption incentivised by Bitcoin☆126Updated 3 years ago
- Research and implementation for non-interactive blockchain proofs of proofs of work☆51Updated 3 years ago
- State-Transition Systems for Smart Contracts☆25Updated 5 years ago
- Submission site for Zcash Foundation grant proposals☆25Updated 7 years ago
- This project is being merged into Bitauth CLI:☆37Updated 6 years ago
- EVM (Ethereum virtual machine) Assembly on Haskell DSL☆66Updated 7 years ago
- ErgoScript compiler and ErgoTree Interpreter implementation for Ergo blockchain☆67Updated 3 weeks ago
- Proof of concept for the A2L protocol on top of Bitcoin.☆19Updated 5 years ago
- Zcash Grant SPV library (Sapling)☆20Updated 4 years ago
- Bitcoin network simulator☆19Updated 10 years ago
- Cross chain atomic trades protocol and api for trades between Stellar and Ethereum☆35Updated 8 years ago
- Schnorr related examples (Schnorr, BN, MuSig, discreet log contracts)☆35Updated 7 years ago
- CABRA — Comprehensive Academic Bitcoin Research Archive☆107Updated 6 years ago
- Lightning Integration Testing Framework☆73Updated 4 years ago
- Transaction script compiler☆14Updated 9 years ago