Agoric / SwingSetLinks
MOVED TO MONOREPO. prototype Vat host, modeled after KeyKOS Domains
☆18Updated 6 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☆29Updated 6 years ago
- MOVED TO MONOREPO. Was: Electronic Rights Transfer Protocol (ERTP), the Smart Contract Framework☆18Updated 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 core and experimental implementation of ClaimChain☆34Updated 7 years ago
- zero-knowledge chat suite☆102Updated 3 years ago
- ☆59Updated 9 years ago
- Linked Data Capabilities reference implementation☆27Updated 7 months ago
- A command line-based parameterized contracting tool☆46Updated 2 years ago
- A highly performant merkle set data structure. To be ported to C later.☆75Updated 7 years ago
- privacy preserving primitives and protocols (p3) for routing and messaging in P2P networks☆95Updated 5 years ago
- ipld handlers for git objects☆58Updated 4 months ago
- KVyper: Semantics of Vyper in K☆41Updated 7 years ago
- papers to read☆62Updated 10 years ago
- Ambient Calculus research☆14Updated 4 years ago
- A gossipsub protocol simulator☆41Updated 3 years ago
- a C++ template library for zero knowledge proofs☆49Updated 10 years ago
- A golang implementation of a sparse merkle tree☆55Updated 6 years ago
- RWOT9 in Prague, The Czech Republic (September 2019)☆117Updated 8 months ago
- GitHub -> IPFS mirroring☆28Updated 8 years ago
- ☆60Updated 8 years ago
- RWOT7 in Toronto, Canada (September 2018)☆98Updated 3 years ago
- An EVM code verification framework in Coq☆44Updated 9 years ago
- authenticated data structures, generically☆55Updated 9 years ago
- Dr. Y's Ethereum Contract Analyzer☆41Updated 3 years ago
- A web application server with built-in object capability security built on Node.js/Express☆15Updated 5 years ago
- A system for verifying outsourced computations. This repo always contains the latest release of the Pepper system.☆65Updated 6 years ago
- Research on PubSub algorithms for libp2p☆74Updated 7 months ago
- Deterministic execution virtual machine sandbox for Moxie arch☆78Updated 5 years ago
- a JavaScript Implementation of Primea HyperVisor☆41Updated 5 years ago