zenprotocol / Zulib
Zen Protocol Standard Library
☆10Updated 3 years ago
Alternatives and similar repositories for Zulib:
Users that are interested in Zulib are comparing it to the libraries listed below
- The default client for the Zen Protocol. Mirrored from https://gitlab.com/zenprotocol/zenprotocol☆55Updated 6 months ago
- Contract examples☆10Updated 3 years ago
- Node and GUI for the Zen Protocol.☆35Updated 7 years ago
- Balzac is a domain-specific language to write Bitcoin transactions.☆26Updated last month
- Legacy code connected to the high-assurance implementation of the Ouroboros protocol family☆78Updated 3 years ago
- Semantics of Virtual Machine for IELE prototype blockchain☆132Updated last year
- This repository is used as an open library for the blockchain community. We include letters, papers, analysis, blogposts, etc, for anyone…☆31Updated 3 years ago
- An EVM code verification framework in Coq☆44Updated 8 years ago
- The Juvix standard library☆14Updated this week
- DSL for Secure DApps☆33Updated 2 years ago
- Simple Blink Example using Raspberry Pi, LED Light and Ethereum for Meetup Class☆30Updated 8 years ago
- Formalization of Tendermint proposer election properties☆15Updated 6 years ago
- Demo / PoC / implementation of IOHK MPC protocols☆19Updated 6 years ago
- A privacy-preserving, auditable, distributed voting system.☆13Updated 2 years ago
- The new whitepaper☆8Updated 7 years ago
- An independent reimplementation of Ethereum in Haskell☆81Updated 9 years ago
- User interface for the Zen Protocol client.☆25Updated 3 years ago
- a language optimized for state channels on blockchains.☆22Updated 4 years ago
- A Bitcoin wallet written in Rust as a testbed for experimental user-facing tools☆28Updated 3 years ago
- Bitcoin network simulator☆21Updated 9 years ago
- A Haskell framework that facilitates writing ABCI applications☆34Updated 10 months ago
- Hammersbald is a fast embedded blockchain database☆56Updated 4 years ago
- Anonymously create joint shared transactions using blind signatures☆20Updated 3 years ago
- A code generation tool for purescript-web3☆22Updated 3 months ago
- Teaches rholang to beginners and intermediate programmers through hands-on examples and experimentation.☆67Updated 3 years ago
- Braided Blockchain☆28Updated 8 years ago
- A collection of papers about new models and applications of mobile process calculi☆12Updated 5 years ago
- Formalization of the UTxO abstract model for (bitcoin-style) blockchain transactions.☆14Updated 5 months ago
- An implementation of the Mixcoin mixing protocol☆13Updated 10 years ago
- Haskell implementation of RSCoin☆50Updated 8 years ago