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 6 years ago
- Gravity Network: a distributed computing architecture for resilience and interoperability☆37Updated 8 years ago
- A core and experimental implementation of ClaimChain☆34Updated 7 years ago
- Formal specification and reference implementation of Casper☆15Updated 10 years ago
- Linked Data Capabilities reference implementation☆28Updated 7 months ago
- ☆59Updated 9 years ago
- A command line-based parameterized contracting tool☆46Updated 2 years ago
- zero-knowledge chat suite☆102Updated 3 years ago
- A highly performant merkle set data structure. To be ported to C later.☆75Updated 8 years ago
- GitHub -> IPFS mirroring☆28Updated 8 years ago
- Interplanetary Identifiers - Implementation of the DID ( decentralized identifiers) specification over the IPFS (Interplanetary File Sys…☆62Updated 6 years ago
- A web application server with built-in object capability security built on Node.js/Express☆15Updated 5 years ago
- authenticated data structures, generically☆55Updated 9 years ago
- Deterministic execution virtual machine sandbox for Moxie arch☆78Updated 5 years ago
- DSL for Secure DApps☆33Updated 2 years ago
- RWOT9 in Prague, The Czech Republic (September 2019)☆117Updated 9 months ago
- RWOT7 in Toronto, Canada (September 2018)☆98Updated 3 years ago
- BOLOS community enclave for SGX & simulator☆36Updated 5 years ago
- Formalization of Tendermint proposer election properties☆15Updated 7 years ago
- Infinitely presentable (aeon) rerandomisable (flux) anonymous credentials.☆29Updated 5 years ago
- ☆12Updated 9 years ago
- XTP - eXternal Transports Protocol☆34Updated 8 months ago
- papers to read☆62Updated 10 years ago
- Keyname format for public-key fingerprints☆22Updated 11 years ago
- Ambient Calculus research☆14Updated 4 years ago
- NaCl-based Cryptographic Relay☆82Updated last week
- An EVM code verification framework in Coq☆44Updated 9 years ago
- a C++ embedded domain specific language for zero knowledge proofs☆59Updated 9 years ago
- ipld handlers for git objects☆58Updated 4 months ago