Agoric / SwingSetLinks
MOVED TO MONOREPO. prototype Vat host, modeled after KeyKOS Domains
☆18Updated 5 years ago
Alternatives and similar repositories for SwingSet
Users that are interested in SwingSet are comparing it to the libraries listed below
Sorting:
- OBSOLETE prototype Vat host: use SwingSet instead☆30Updated 5 years ago
- MOVED TO MONOREPO. Was: Electronic Rights Transfer Protocol (ERTP), the Smart Contract Framework☆19Updated 5 years ago
- Gravity Network: a distributed computing architecture for resilience and interoperability☆37Updated 8 years ago
- Formal specification and reference implementation of Casper☆15Updated 10 years ago
- A command line-based parameterized contracting tool☆46Updated last year
- A web application server with built-in object capability security built on Node.js/Express☆15Updated 4 years ago
- A highly performant merkle set data structure. To be ported to C later.☆74Updated 7 years ago
- Linked Data Capabilities reference implementation☆26Updated 3 months ago
- ☆60Updated 8 years ago
- GitHub -> IPFS mirroring☆29Updated 7 years ago
- A core and experimental implementation of ClaimChain☆34Updated 6 years ago
- RWOT9 in Prague, The Czech Republic (September 2019)☆116Updated 4 months ago
- An EVM code verification framework in Coq☆44Updated 8 years ago
- authenticated data structures, generically☆54Updated 8 years ago
- RWOT7 in Toronto, Canada (September 2018)☆97Updated 3 years ago
- Interplanetary Identifiers - Implementation of the DID ( decentralized identifiers) specification over the IPFS (Interplanetary File Sys…☆62Updated 6 years ago
- RWOT3 in San Francisco, California (October 2016)☆108Updated 3 years ago
- ☆13Updated 9 years ago
- A Haskell framework that facilitates writing ABCI applications☆34Updated last year
- Deterministic execution virtual machine sandbox for Moxie arch☆74Updated 5 years ago
- zero-knowledge chat suite☆102Updated 3 years ago
- XTP - eXternal Transports Protocol☆34Updated 3 months ago
- a C++ embedded domain specific language for zero knowledge proofs☆59Updated 8 years ago
- privacy preserving primitives and protocols (p3) for routing and messaging in P2P networks☆97Updated 5 years ago
- Jessica - Jessie (secure distributed Javascript) Compiler Architecture☆37Updated 2 years ago
- Submission site for Zcash Foundation grant proposals☆25Updated 7 years ago
- KVyper: Semantics of Vyper in K☆41Updated 7 years ago
- ☆27Updated 7 years ago
- DSL for Secure DApps☆33Updated 2 years ago
- An authenticated data structure based on a red-black tree.☆54Updated 10 years ago