vatViz - show vat connectivity evolving over cranks

The Agoric SwingSet is the basis for development with the Agoric SDK, a development kit for writing smart contracts in a secure, hardened version of JavaScript. Smart contracts built with the Agoric SDK have mediated asynchronous communication, and messages can only be sent along references according to the rules of the Object Capabilities model that the SwingSet implements. -- Agoric Swingset Kernel and Userspace report

Which vats have access to what capabilities?

boot1.slog is a SLOGFILE that records the bootstrap of an Agoric chain. As messages are delivered to vats, capabilities are exchanged. At the end of bootstrap, we can see which vats have access to which capabilities... especially powerful capabilities such a the right to mint IST.

Example output diagram

See example output.

Video walkthru

See the 1st 11 minutes of Nov 2 office hours Passcode: 9c91eg#4.

Quick Start

Download the boot1.slog example. Then:

git clone https://github.com/agoric-labs/vatviz-g8
cd vatviz-g8
yarn
yarn dev

Once it's running,

1. visit http://0.0.0.0:8000
2. hit Choose File
3. Choose boot1.slog
4. Click "Show" and use arrow keys to move forward thru cranks
5. Move the slider all the way to the right to show the conclusion of bootstrap.