actusfrf / actus-techspecs
The ACTUS technical specifications
☆24Updated 3 years ago
Alternatives and similar repositories for actus-techspecs:
Users that are interested in actus-techspecs are comparing it to the libraries listed below
- This repository contains the actus dictionary and generation scripts☆20Updated last year
- Experimental implementation of an ETH2.0 beacon chain in python☆10Updated 6 years ago
- Collection of research papers written within Gnosis☆92Updated 3 years ago
- 🇳🇱✖️DutchX core smart contracts☆45Updated 5 years ago
- Decentralized digital identity☆23Updated last year
- A privacy-preserving, auditable, distributed voting system.☆13Updated 2 years ago
- A collection of videos, reading materials and tools for learning all about the ZK side of crypto.☆19Updated 6 years ago
- Admin, governance, and background info for Ethereum OASIS Open Project☆59Updated this week
- Specification of the RenVM MPC algorithm☆19Updated 4 years ago
- ☆16Updated last year
- Multisig with a command-line interface☆22Updated 6 years ago
- AZTEC protocol specification☆31Updated 5 years ago
- Lockdrop contracts☆23Updated 2 years ago
- Perun's Blockchain-Agnostic State Channels Framework in Go. (Development on this project is continued at Hyperledger Labs.)☆38Updated 3 years ago
- XCLAIM(BTC,ETH): Solidity implementation for Bitcoin backed tokens on Ethereum☆24Updated 10 months ago
- Simulator for some PoS or consensus algorithms. Includes dfinity, casper IMD and others☆46Updated 5 years ago
- ☆25Updated 3 years ago
- ZCash like private DAI transactions on ethereum using ZkSnarks. MakerDAO API prize winner.☆52Updated 5 years ago
- Zero Trust Bitcoin Options on Ethereum☆12Updated 3 years ago
- Render React form components and sections from an OpenLaw template.☆16Updated 2 years ago
- formal verification of multicollateral dai in the K framework☆45Updated 3 years ago
- A state channels ICO auction contract.☆23Updated 7 years ago
- this repository contains the source code of the ACTUS Demo App - a lightweight web-application showcasing the ACTUS standards☆13Updated 4 months ago
- ☆45Updated 2 years ago
- A more technical description of Polkadot protocol☆47Updated 5 years ago
- Online Rholang interpreter.☆20Updated 3 years ago
- ☆37Updated 3 years ago
- Shared Scala libraries for the OpenLaw project.☆103Updated 3 years ago
- Code to generate snark proofs for batch auction result validation of the Gnosis d.exchange☆46Updated 6 years ago
- An interactive tutorial to get started with the Node.js bindings for DAML☆14Updated last month