Agoric

agoric BLD formal verification Informal Systems security Virtual Machine

November 18, 2021

The Path to Verified BLDs : How Informal Systems and Agoric Are Using Formal Methods Analysis to Improve Software Integrity

Agoric engaged Informal Systems to begin formally verifying the Agoric JavaScript VM (SwingSet), a...

October 6, 2021

Purple Teaming: How MetaMask and Agoric hunted bugs to harden JavaScript

📥 Download Hardened JS Security Report This summer, the Agoric and MetaMask teams kicked off the...

The Settlers of Blockchain

In Settlers of Catan, players require a high level of communication to complete trades. At Agoric...

Agoric Explained: What’s Zoe?

In this article we explain Zoe, the smart contract framework that dApp users and developers interact...

Agoric Smart Contracts: Where’s the Crypto?

The Agoric Distributed Programming Platform speeds up defi development by abstracting away...

January 15, 2021

The Role of a Stable, Local Currency

Bill Tulloh on stablecoins, the role we see that they play in fueling a vibrant on-chain economy,...

October 16, 2020

Win Cosmos HackAtom V Prizes Using Agoric

During the Cosmos HackAtom V virtual hackathon (October 16 - 30), use the Agoric platform to tackle...

October 15, 2020

DeFi Workshops – Smart Contracts in JavaScript

Welcome to Agoric’s DeFi Workshops! This event hosted by Dean Tribble (CEO) will highlight how...

Why the Agoric Team Spent a Week Eating Our Own Dogfood

The whole Agoric team took a week off work. Not because of the pandemic. Not for vacation. Not for a...

Computational Microeconomics Part 3: Smart Markets in Action

This is the third part of a three-part series in which Professor Kevin McCabe of George Mason...

Computational Microeconomics Part 2: What Is Experimental Economics?

This is the second part of a three-part series in which Professor Kevin McCabe of George Mason...

Go Inside a Computational Microeconomics Summer Camp

Each summer, Professor Kevin McCabe of George Mason University runs a special program in...

Securing JavaScript Modules

We’re excited to announce the first release of SES that directly supports loading ECMAScript...

Take on Agoric Hackathon Challenges from the Safety of Your Own Home

The April Gitcoin Virtual Hackathon begins April 20th and runs for three straight weeks, through...

Kris Kowal joins Agoric

Kris on his journey from Uber to Agoric.

The Road to Dynamic IBC

dIBC is, in essence, the idea of using a smart contract or VM platform to deploy new contracts that...

Spend the Pandemic Inside: Join Our Gitcoin Cross-Chain Hackathon and Win Prizes

Build real-world applications with Agoric, Band Protocol, and Cosmos.

What Agoric Learned from the American Information Exchange About Online Markets

Agoric’s software engineer Chip Morningstar on his work at AMiX, possibly the first...

11 Things COVID-19 Taught Us About the Decentralized Workplace

Agoric shares their approach to working remotely during the virus outbreak.

January 16, 2020

How Zoe Ensures You Won’t Leave Empty-Handed

Zoe is our new platform that provides an innovative, much safer approach for building and...

December 4, 2019

SES: Securing JavaScript in the Real World

SES is a JavaScript runtime library for running such third-party code safely inside a featherweight...

November 20, 2019

Bypassing the Functionality/Security Trade-Off in Smart Contracts

In the blockchain world of smart contracts, the either/or between security and functionality is an...

October 24, 2019

Realms and Evaluator Shim Security

Two security bugs were found and fixed in the realms-shim library, so all users should upgrade to...

October 22, 2019

Agoric and the Decades-Long Quest for Secure Smart Contracts: Epicenter Interview with Mark S. Miller

Brian Fabien Crain and Sunny Aggarwal interviewed Agoric’s Chief Scientist, Mark S. Miller, on the...

October 16, 2019

Run our Testnet Demo in 5 minutes: Presenting an end-to-end test of the Agoric stack

We’ve created a functioning Agoric demo that you can work within, showcasing our electronic rights...

October 15, 2019

Zoe vs. the Low-Level Status Quo

Contracts have bugs. If only there was a way to guarantee that the money that you send isn’t...

October 2, 2019

Realms-shim Security Updates

Four security-critical bugs were discovered and fixed in the ‘realms-shim’ and ‘SES’...

Making ‘npm install’ Safe

Kate Sills talks about some of the security issues using NPM packages, the EventStream incident that...

January 31, 2019

Offer Safety: Partitioning Risk in Smart Contracts

Zoe adds a layer of safety to voluntary exchange that hasn’t been seen before. At Agoric we call...

January 28, 2019

Preventing Reentrancy Attacks in Smart Contracts

Reentrancy attacks can be entirely prevented with eventual-sends.

December 3, 2018

POLA Would Have Prevented the Event-Stream Incident

A popular npm package, event-stream, included malicious code that attempted to steal the private...