actusfrf / actus-techspecsLinks
The ACTUS technical specifications
β24Updated 4 years ago
Alternatives and similar repositories for actus-techspecs
Users that are interested in actus-techspecs are comparing it to the libraries listed below
Sorting:
- This repository contains the actus dictionary and generation scriptsβ20Updated last year
- π³π±βοΈDutchX core smart contractsβ45Updated 5 years ago
- A collection of videos, reading materials and tools for learning all about the ZK side of crypto.β20Updated 6 years ago
- EEA JavaScript libraries.β35Updated 3 years ago
- Render React form components and sections from an OpenLaw template.β16Updated 2 years ago
- Smart contracts for trustless bridgesβ75Updated 5 years ago
- formal verification of multicollateral dai in the K frameworkβ46Updated 3 years ago
- π³π±βοΈ Decentralized Autonomous Organization (DAO) for managing the DutchXβ24Updated 5 years ago
- KVyper: Semantics of Vyper in Kβ41Updated 6 years ago
- Collection of research papers written within Gnosisβ92Updated 3 years ago
- A privacy-preserving, auditable, distributed voting system.β13Updated 2 years ago
- LazyLedger academic prototypeβ49Updated 5 years ago
- State Machineβ18Updated 7 years ago
- β44Updated 3 years ago
- A lightning fast decentralised liquidity protocol.β47Updated 6 years ago
- Repository for Research on Conviction voting schemesβ53Updated 2 years ago
- Admin, governance, and background info for Ethereum OASIS Open Projectβ59Updated 3 weeks ago
- Schematic of the Ethereum 2.0 Beacon Chain specificationβ51Updated 6 years ago
- Online Rholang interpreter.β20Updated 4 years ago
- Experimental implementation of an ETH2.0 beacon chain in pythonβ10Updated 7 years ago
- Whitepaper describing the Keep networkβ37Updated 5 years ago
- 0x protocol TypeScript monorepoβ23Updated 3 years ago
- β16Updated last year
- A Haskell framework that facilitates writing ABCI applicationsβ34Updated last year
- Shared Scala libraries for the OpenLaw project.β105Updated 3 years ago
- Blocknative Assist widget for blockchain usabilityβ55Updated 2 years ago
- Code to generate snark proofs for batch auction result validation of the Gnosis d.exchangeβ46Updated 6 years ago
- Specification of the RenVM MPC algorithmβ19Updated 5 years ago
- IDEX 2.0 smart contractsβ43Updated 2 years ago
- A state channels ICO auction contract.β23Updated 7 years ago