General planning and documentation repository for the OCapN protocol suite for distributed networked objects

Proposal for tc39 of new integrity "level" protecting against both override mistakes and proxy reentrancy

Empirical Study of the Prominence of Zero-Knowledge Proof (ZKP) Languages

Patterns for Agoric smart contracts and code written in Hardened JavaScript

This repository contains the lecture content for Chainboard Academy Agoric Bootcamp

cst-tokens token descriptors for javascript tokens

A home for well-formed proposed incubations for the web platform. All proposals welcome.

User Controlled Authorization Network (UCAN) Specification

Decentralized data storage and message relay for decentralized identity and apps.

Smart contracts which are formally verified

Awesome Object Capabilities and Capability Security

Explicit resource management leveraging the iterator protocol

JavaScript Near Membrane Library that powers Lightning Locker Service

TC39-TG3: Security

Jessica - Jessie (secure distributed Javascript) Compiler Architecture

Capability-oriented version of the Rust standard library

A General Theory of Reactivity

User documentation

Endo is a distributed secure JavaScript sandbox, based on SES

Class/traits-like composition of objects-as-closures

monorepo for the Agoric Javascript smart contract platform

Reusable JavaScript library for creating sketchy/hand-drawn styled charts in the browser.

Proposal: snapshot,diverge,readOnlyView methods for all collections

TC39 Eventual Send proposal

Proposal: Out of memory immediately terminates agent cluster

TC39 Wavy Dot ("~.") Proposal

Bundler and release tool for node.js

The default settings and files that every new Agoric repository should (probably) have