Note: this repository is no longer in use. Development work has moved to https://github.com/Agoric/SwingSet instead.
The Agoric "Playground" Vat
How to use it
You can load code inside a Vat to create an initial object, and then
that object can create other objects, or communicate with objects in
other Vats. All of these objects are sandboxed and cannot affect the
host machine except through specifically provided "endowments". An
executable tool named
vat is provided to create and launch these Vats.
Features of this Playground Vat
- All code runs in an SES environment, so primordials are frozen to prevent tampering.
def()is available to tamperproof API objects against manipulation by callers
new Flow().makeVow()are available to create Promise-like objects which enable eventual-send and remote message delivery, with per-Flow ordering and some amount of promise-pipelining
- Cross-Vat references can be used to send messages to external hosts, with full cryptographic protection on the network protocol, provided by libp2p
- State checkpoints are implemented by recording all inbound messages (in order), enabling deterministic playback after restart.
- "Quorum Vats" replicate computation across multiple hosts. Downstream Vats only accept messages from a Quorum Vat if a minimum threshold of component hosts sent identical copies of those messages.
This prototype is sufficient to experiment with ocap-style contract code. However, it is not destined to support production environments. The particular technologies used were selected for quick implementation rather than their sustainability.
Some of these limitations may be fixed by improvements to be made in this repository. However many deeper issues will be addressed in a subsequent prototype, in a different repo, in a non-backwards-compatible fashion.
Please see docs/limitations.md for a complete list.
Despite this not being ready for production use, we'd like to get into the
practice of responsible disclosure. If you find a security-sensitive bug that
should not be revealed publically until a fix is available, please send email
security at (@)
agoric.com. To encrypt, please use my (@warner)
personal GPG key A476E2E6 11880C98 5B3C3A39 0386E81B
11CAA07A . Keybase users can also
send messages to
@agoric_security, or share code and other log files via
the Keybase encrypted file system
For non-security bugs, use the regular Issues page.