✩ Let's Take Back The Net! ✩
Spritely is building the next generation of decentralized networking technology.
We deserve social networks which respect our agency and autonomy. Communities deserve the right to organize, govern, and protect and enrich their members. All of these are natural outgrowths of applying the principles of fundamental human rights to networked systems.
Spritely builds on our experience co-authoring ActivityPub, the largest decentralized social network on the web to date, while applying powerful ideas from object capability security research.
Better worlds await, because better worlds are possible. Let's build a healthier and safer network together!
✩ About Our Tech ✩
It's hard to build the kind of vision Spritely is envisioning on top of contemporary tech. Because of this, Spritely is taking a multi-layer approach!
Goblins is the foundation of the rest of Spritely's tech and makes building distributed and capability-secure programs easy and fun:
- Easy and secure networked programming: Programs you write in Goblins automatically are ready to work over the network and Goblins' security model looks like ordinary programming.
- Automatic persistence: Goblins comes with a persistence framework so you can focus on writing out your programs; most of the time, Goblins can take care of the rest of saving data to storage for you!
- Transactions: Goblins is fully and automatically locally transactional: state changes are rolled back automatically upon error at no extra cost.
- Time traveling debugger: Goblins' time traveling debugger lets you debug your program in the state that it was in when the error occured, and can even create visualizations of what created the problem! Only keep as much history as you need: Goblins is happy to clean up any state not needed for debugging!
- And much more! Goblins supports distributed garbage collection, promise pipelining for efficient networked communication, a standard library of common actor types, and much more!
[Check out Goblins!]
Hoot is Spritely's Scheme-to-WebAssembly compiler and all-around WebAssembly toolkit. Hoot was designed to allow Spritely's tools to run in the browser and reach a wider audience. However Hoot is generally powerful and useful for building Scheme projects on the web.
But that's not all! In addition to being a Scheme-to-WebAssembly compiler, Hoot also features WebAssembly assembler and disassembler tools... and even a WebAssembly interpreter for developers! If you're thinking of making your own custom WebAssembly language or even just want to learn how WebAssembly works, Hoot might be just what you want!
[Check out Hoot!]
OCapN, the Object Capability Network, is the suite of protocols that gives Goblins its networked programming superpowers. OCapN's CapTP gives fine-grained capability programming over the network, distributed garbage collection, promise pipelining to avoid extra network round-trips, and introductions and smooth communication between peers as appropriate. OCapN's netlayers allow layering OCapN to run on top of a variety of network substrates including Tor Onion Services, libp2p, TCP+TLS, and perhaps some day carrier pigeons wearing encrypted microsd card backpacks.
OCapN's proto-standardization efforts are a joint project between multiple groups such as Spritely, Agoric, Metamask, and Sandstorm. Spritely took leadership in drafting the first versions of OCapN's specifications, extrapolating first from Goblins' implementation of the protocol, then working to bridge across the protocol needs of the participants of the group. OCapN builds on a long history of networked capability research, most prominently from the E programming language.
[Learn more about OCapN!]
✩ Read our Whitepapers ✩
The Spritely Institute is a 501(c)(3) nonprofit and research institution built to develop new technologies for the decentralized web. All code we release is free and open source software and all papers we write are open access under free cultural licenses.
Our papers: