Office Hours: Agoric Dev

[dckc]

Since Apr 2023, we're using the office hours category in agoric-sdk discussions.

---

running notes on Office Hours

Wednesdays - _Usually 9am PT_ but occasionally a little earlier or later for community calls etc.

hosts: @dckc and @kennyrowe

Venue: Zoom room 87343330101 Passcode: 47695358

with notes in the #dev channel in Agoric discord and a tab-dump in comments below afterward.

Candidate Topics:

• bounties:
  • bounty issues / agoric bounties at Gitcoin
  • Agoric - Bug Bounty Program | HackerOne
• Running a Validator
  • https://github.com/Agoric/validator-profiles/wiki/Request-1-BLD
• Getting started with the Agoric SDK
  • Zoe smart contracts
• my current work: in agoric-sdk
• Example dApp: donor lotteries
• formal verification of ERTP, Zoe
  • https://github.com/kaist-plrg/jstar/issues/2#issuecomment-1015090886
• others???
  • note about tokens, sales, etc.: we can help you find published materials, but we are not in a position to make forward-looking statements.

If you're interested, let us know with a comment/reaction here or in the #dev channel in Agoric discord

[dckc]

Jan 18 Notes

Main topics:

• hydra-DAO
• endo Compartment and how it relates to XS, swingset, and contracts
• typeguards, patterns, and passStyleOf: why does an array of Brands not fail the M.arrayOf(IssuerShape) typeguard?

We didn't record the zoom call.

Hydra DAO

hydra-DAO/Whitepaper.pdf at main · metacartel/hydra-DAO https://github.com/metacartel/hydra-DAO/blob/main/Whitepaper.pdf

Question about ephemera usage · Discussion #6799 · Agoric/agoric-sdk https://github.com/Agoric/agoric-sdk/discussions/6799

endo Compartment and how it relates to XS, swingset, and contracts

agoric-sdk/controller.js at master · Agoric/agoric-sdk https://github.com/Agoric/agoric-sdk/blob/master/packages/SwingSet/src/controller/controller.js

endo/index.js at master · endojs/endo https://github.com/endojs/endo/blob/master/packages/import-bundle/src/index.js

Issues · Agoric/agoric-sdk https://github.com/Agoric/agoric-sdk/issues?q=is%3Aissue+is%3Aopen+upgradable

agoric-sdk/packages/xsnap at master · Agoric/agoric-sdk https://github.com/Agoric/agoric-sdk/tree/master/packages/xsnap

Why we're starting without 3-party handoff, and when we will still need it · Issue #1636 · Agoric/agoric-sdk https://github.com/Agoric/agoric-sdk/issues/1636

agoric-sdk/comms.md at master · Agoric/agoric-sdk https://github.com/Agoric/agoric-sdk/blob/master/packages/SwingSet/docs/comms.md

Agoric security https://agoric.com/security/

Agoric at SF Cryptocurrency Devs - Programming Secure Smart Contracts - YouTube https://www.youtube.com/watch?v=7u0yVJjBBek&list=PLzDw4TTug5O0CTk1yiTb1b7-yTMTpoo0i&index=2

typeguards, patterns, and passStyleOf

why does an array of Brands not fail the M.arrayOf(IssuerShape) typeguard?

Far(), Remotable, and Marshaling | Documentation https://docs.agoric.com/guides/js-programming/far.html#pass-styles-and-harden

[dckc]

Jan 25 notes

Sybil Resistance: Advogato Trust Metric

Dan Connolly on Twitter: "@danfinlay my favorite example: https://t.co/NNA01sfMGh" / Twitter https://twitter.com/dckc/status/1617673176028418048

Advogato - Wikipedia https://en.wikipedia.org/wiki/Advogato

Advogato: Personal info for connolly https://web.archive.org/web/20170628001502/http://www.advogato.org/person/connolly/

Big Dipper | Agoric Block Explorer https://bigdipper.live/agoric

js-graph-algorithms - npm https://www.npmjs.com/package/js-graph-algorithms

Cool Stuff Landing Lately

feat: root app layout and styles by samsiegart · Pull Request Agoric/documentation#33 · Agoric/dapp-inter https://github.com/Agoric/dapp-inter/pull/33

feat(swingset-tools): Expand replay tool for anachrophobia diagnosis by mhofman · Pull Request #6723 · Agoric/agoric-sdk https://github.com/Agoric/agoric-sdk/pull/6723

How to integrate Agoric...

how to send an ERTP payment to an agoric / cosmos address / account · Issue Agoric/agoric-sdk#8114 · Agoric/documentation https://github.com/Agoric/agoric-sdk/issues/8114

@cosmjs/stargate Documentation https://cosmos.github.io/cosmjs/latest/stargate/index.html

Community Discussion

Inter Protocol Vaults Release - Liquidation Update - Inter Protocol / Discussion - Agoric Community Forum https://community.agoric.com/t/inter-protocol-vaults-release-liquidation-update/155

$IST is now available at stablecoins.wtf! - Inter Protocol / Announcements - Agoric Community Forum https://community.agoric.com/t/ist-is-now-available-at-stablecoins-wtf/179

Code Contribution

test: updated test cases from test-vaultFactory.js by tgrecojs · Pull Request #6812 · Agoric/agoric-sdk https://github.com/Agoric/agoric-sdk/pull/6812

[dckc]

Feb 1 notes

raw tab dump:

how to grant chainStorage access to a contract? · Discussion #6839 · Agoric/agoric-sdk https://github.com/Agoric/agoric-sdk/discussions/6839

feat(inter-protocol): psm-tool CLI, Google Sheets support by dckc · Pull Request #6015 · Agoric/agoric-sdk https://github.com/Agoric/agoric-sdk/pull/6015

constrain mailbox to devnet config, to protect against c-list/liveslots DoS attacks · Issue #5965 · Agoric/agoric-sdk https://github.com/Agoric/agoric-sdk/issues/5965

psm-tool with set offer id, find-offer by id feature https://gist.github.com/dckc/8b5b2f16395cb4d7f2ff340e0bc6b610#file-psm-tool

read-only chainStorage for any Zoe contract · Issue #5687 · Agoric/agoric-sdk https://github.com/Agoric/agoric-sdk/issues/5687

p2p-org/p2p-agoric-vstorage-viewer https://github.com/p2p-org/p2p-agoric-vstorage-viewer

Events, attributes and data - CosmWasm book https://book.cosmwasm.com/basics/events.html

Notifier Package · Issue Agoric/documentation#2 · Jorge-Lopes/ibc-deposit-withdrawal-front-end https://github.com/Jorge-Lopes/ibc-deposit-withdrawal-front-end/issues/2

Notifiers and Subscriptions | Documentation https://docs.agoric.com/guides/js-programming/notifiers.html#distributed-asynchronous-iteration

agoric-sdk/test-notifier-examples.js at a7a2f9a092a3f4976fd4401cba7f15f718b5a5d6 · Agoric/agoric-sdk https://github.com/Agoric/agoric-sdk/blob/a7a2f9a092a3f4976fd4401cba7f15f718b5a5d6/packages/notifier/test/test-notifier-examples.js#L54

feat(notifier)!: housecleaning by michaelfig · Pull Request #6866 · Agoric/agoric-sdk https://github.com/Agoric/agoric-sdk/pull/6866

Notifier Package · Issue Agoric/documentation#2 · Jorge-Lopes/ibc-deposit-withdrawal-front-end https://github.com/Jorge-Lopes/ibc-deposit-withdrawal-front-end/issues/2

Papers - Agoric https://papers.agoric.com/papers/

USDC_grv isn't showing up in Agoric Wallet - Inter Protocol - Agoric Community Forum https://community.agoric.com/t/usdc-grv-isnt-showing-up-in-agoric-wallet/184/6

[dckc]

Feb 8 notes

raw tab dump...

agoric-sdk/README.md at master · Agoric/agoric-sdk https://github.com/Agoric/agoric-sdk/blob/master/packages/smart-wallet/README.md

How does Smart-Wallet work? · Discussion #6934 · Agoric/agoric-sdk https://github.com/Agoric/agoric-sdk/discussions/6934

endo/packages/ses at master · endojs/endo https://github.com/endojs/endo/tree/master/packages/ses

agoric-sdk/smartWallet.js at master · Agoric/agoric-sdk https://github.com/Agoric/agoric-sdk/blob/master/packages/smart-wallet/src/smartWallet.js

agoric-sdk/startPSM.js at master · Agoric/agoric-sdk https://github.com/Agoric/agoric-sdk/blob/master/packages/inter-protocol/src/proposals/startPSM.js

@agoric/zoe - npm https://www.npmjs.com/package/@agoric/zoe

(1) npm install @agoric/zoe does not work · Issue #3857 · Agoric/agoric-sdk https://github.com/Agoric/agoric-sdk/issues/3857

separate agd build process from runtime files · Issue #6455 · Agoric/agoric-sdk https://github.com/Agoric/agoric-sdk/issues/6455

Validator Guide · Agoric/agoric-sdk Wiki https://github.com/Agoric/agoric-sdk/wiki/Validator-Guide

Agoric/wallet-app: Site for wallet.agoric.app https://github.com/Agoric/wallet-app

Hardened JavaScript | Documentation https://docs.agoric.com/guides/js-programming/hardened-js.html#defensive-objects-with-harden

Agoric Wallet https://wallet.agoric.app/wallet/

Launch Meeting - Zoom https://agoric.zoom.us/j/87343330101?pwd=M0dhMmdyZ0JOSXNkeTc3ZzRFcGYyZz09#success

[NG] Explorer | Agoric | Proposal Agoric/documentation#17 https://agoric.explorers.guru/proposal/17

ibc-lab/README-IBC.md at master · dckc/ibc-lab https://github.com/dckc/ibc-lab/blob/master/README-IBC.md

REStake | Auto-compound your staking rewards https://restake.app/agoric?about=ledger

cometbft/cometbft: CometBFT: A distributed, Byzantine fault-tolerant, deterministic state machine replication engine, and fork of Tendermint Core. https://github.com/cometbft/cometbft/

Hacktiv8: Bootcamp Penghasil Talenta Digital Siap Kerja https://hacktiv8.com/

[dckc]

Feb 22 notes

raw tab dump...

ISO oracle integration information · Discussion #7043 · Agoric/agoric-sdk https://github.com/Agoric/agoric-sdk/discussions/7043

Agoric Community Call 19: BLD Staking, Distribution, Roadmap https://agoric.com/blog/all/agoric-community-call-19-bld-staking-distribution-roadmap/

agoric-sdk/packages/inter-protocol/src/price at master · Agoric/agoric-sdk https://github.com/Agoric/agoric-sdk/tree/master/packages/inter-protocol/src/price

Implement Liquidation Contracts · Issue #6641 · Agoric/agoric-sdk https://github.com/Agoric/agoric-sdk/issues/6641

feat(auction): add an auctioneer to manage vault liquidation by Chris-Hibbert · Pull Request #7000 · Agoric/agoric-sdk https://github.com/Agoric/agoric-sdk/pull/7000/files#diff-26699ec51a59c6239306df3908e4c6bd6fd81c79bf600948cb88ae88cfb9adce

Agoric VS Code Extension Bounty · Issue #5156 · Agoric/agoric-sdk https://github.com/Agoric/agoric-sdk/issues/5156

wrong args to makeOfferDestination in setting up reserve, fee distribution · Issue #7046 · Agoric/agoric-sdk https://github.com/Agoric/agoric-sdk/issues/7046

agoric-sdk/demo.md at master · Agoric/agoric-sdk https://github.com/Agoric/agoric-sdk/blob/master/packages/pegasus/demo.md

agoric-sdk/README-dibc.md at master · Agoric/agoric-sdk https://github.com/Agoric/agoric-sdk/blob/master/packages/cosmic-swingset/README-dibc.md

Docs: Add usage of the Agoric VS Code extension by danBamikiya · Pull Request Agoric/documentation#775 · Agoric/documentation https://github.com/Agoric/documentation/pull/775

Syncing Up on Mainnet | Documentation https://docs.agoric.com/guides/getting-started/syncing-up.html

Dutch auction - Wikipedia https://en.wikipedia.org/wiki/Dutch_auction

[dckc]

Mar 1 notes

raw tab dump, so far:

Agoric - Deploy Secure DeFi in JavaScript https://agoric.com/

Office Hours · Agoric/agoric-sdk Wiki https://github.com/Agoric/agoric-sdk/wiki/Office-Hours

Office Hours: Agoric Dev · Issue Agoric/documentation#576 · Agoric/documentation https://github.com/Agoric/documentation/issues/576

readings in Agoric Foundations: Robust Composition chapters 1-5 · Agoric/agoric-sdk · Discussion #7095 https://github.com/Agoric/agoric-sdk/discussions/7095

[story] Support AMM trading in new smart wallet · Issue #6132 · Agoric/agoric-sdk https://github.com/Agoric/agoric-sdk/issues/6132

how to send an ERTP payment to an agoric / cosmos address / account · Issue Agoric/agoric-sdk#8114 · Agoric/documentation https://github.com/Agoric/agoric-sdk/issues/8114

Robust Composition - Agoric https://papers.agoric.com/papers/robust-composition/abstract/

robust-composition.pdf https://papers.agoric.com/assets/pdf/papers/robust-composition.pdf

Agoric-upgrade-9 / pismoC Upgrade - Governance / Network Upgrades - Agoric Community Forum https://community.agoric.com/t/agoric-upgrade-9-pismoc-upgrade/194

OCapN: CapTP interop with Spritely Networked Communities, Cap'n Proto, - Ecosystem Development - Agoric Community Forum https://community.agoric.com/t/ocapn-captp-interop-with-spritely-networked-communities-capn-proto/198

[NG] Explorer | Agoric | Proposal Agoric/documentation#17 https://agoric.explorers.guru/proposal/17

Proposal Agoric/documentation#28 | Agoric | Keplr Dashboard https://wallet.keplr.app/chains/agoric/proposals/28

JD Lorax (@JDLorax) / Twitter https://twitter.com/JDLorax

dckc/awesome-ocap: Awesome Object Capabilities and Capability Security https://github.com/dckc/awesome-ocap

Syncing Up on Mainnet | Documentation https://docs.agoric.com/guides/getting-started/syncing-up.html

Zoe Service | Documentation https://docs.agoric.com/reference/zoe-api/zoe.html#e-zoe-startinstance-installation-issuerkeywordrecord-terms-privateargs

Agoric storage viewer https://p2p-org.github.io/p2p-agoric-vstorage-viewer/

Announcing 5 Dapps to Launch on Agoric Mainnet https://agoric.com/blog/announcements/announcing-5-dapps-to-launch-on-agoric-mainnet/

Kryha https://kryha.io/cases/kread-app/

Walnut/Secure Distributed Computing/Capability Patterns — ERights.org Wiki http://wiki.erights.org/wiki/Walnut/Secure_Distributed_Computing/Capability_Patterns#Sealers_and_Unsealers

Hardened JavaScript | Documentation https://docs.agoric.com/guides/js-programming/hardened-js.html#from-ocaps-to-electronic-rights-mint-and-purse

Pull requests · endojs/endo https://github.com/endojs/endo/pulls?q=is%3Apr+is%3Aopen+user-review-requested%3A%40me

[dckc]

March 8 Notes

no zoom recording

raw tab dump:

agoric-sdk/vaultKit.js at master · Agoric/agoric-sdk agoric-sdk/vaultManager.js at master · Agoric/agoric-sdk agd does not support joining with state sync · Issue #3769 · Agoric/agoric-sdk Agoric-upgrade-9 / pismoC Upgrade - Governance / Network Upgrades - Agoric Community Forum Proposal Details | Agoric Block Explorer Chainboard Academy Launches First Agoric Bootcamp Proposal Agoric/documentation#28 | Agoric | Keplr Dashboard endo/exo-taxonomy.md at master · endojs/endo ETHDenver #BUIDLathon & Festival | Feb 24 to Mar 5, 2023 (2) Anoma on Twitter: "RT @AutoEcologies: We invite you to join the inaugural Autonomous Ecologies, where we will explore the relationship between privacy and sov…" / Twitter Babylon: Bitcoin Security for Cosmos and beyond zkMint: The First ZK-friendly Tendermint Consensus Engine | by Polymer Labs | Feb, 2023 | Medium Penumbra - Bringing Zero-Knowledge Proofs to Penumbra readings in Agoric Foundations: Robust Composition chapters 1-5 · Agoric/agoric-sdk · Discussion #7095 Map of zones - Cosmos network explorer ICS33: Multi-hop Channel Spec by notbdu · Pull Request #882 · cosmos/ibc Multiplicity: A Gadget for Multiple Concurrent Block Proposers - New Middleware R&D - EigenLayer Discussion Forum Sovereign rollups on Bitcoin with Rollkit | Rollkit Library - Diigo fungible faucet doesn't demonstrate quid-pro-quo asset exchange · Issue Agoric/documentation#744 · Agoric/documentation

[dckc]

15 Mar Notes

• recording

edited transcript, part 1, thru 25:03

• Intro: Agoric Dev Office Hours, Robust Composition
• KeyKOS Operating System meets Agoric Open Systems Papers
• Agorics, Electric Communities, and the Joule programming language
• Concurrency Control Approaches: Threads vs. Fine Grain Actors/CLP
• E: Good Concurrency does not mean giving up sequential programming
• E, Smart Contracts, and Cypherpunks in the open and underground
• Capability-based vs. Identity-based Access Control in Academia

edited transcript, part 2 of 2, thru 1:01:45.

• Origins of MarkM's Agoric Systems Vision
• Computer Lib, Xanadu
• Privacy Aspirations, Xanadu, and the Web
• Programming and Economics: Encapsulation and Property Rights
• Blockchain: Shared High Integrity Compute Infrastructure for Smart Contracts
• Scalable Threat Modelling
• Conclusion of Robust Composition discussion

The part after MarkM was excused remains unedited.

outline

• Hello and Welcome
  • Agoric - Deploy Secure DeFi in JavaScript
  • Office Hours · Agoric/agoric-sdk Wiki
  • erights (Mark S. Miller)
• Today's topics
  • readings in Agoric Foundations: Robust Composition chapters 1-5 · Agoric agoric-sdk · Discussion #7095
  • Robust Composition -- full text PDF
• ...

... raw tab dump:

Papers - Agoric KeyKOS - Wikipedia Actor model - Wikipedia OCapN: CapTP interop with Spritely Networked Communities, Cap'n Proto, - Ecosystem Development - Agoric Community Forum From Objects to Capabilities MadMode: Smart Contracts and Capabilities Up Close | Code cap-talk - Google Groups capmyths-3.doc David's Sling: Marc Stiegler: 9780671653699: Amazon.com: Books the open society and its media miller at DuckDuckGo (PDF) The Open Society and Its Media Markets and Computation: Agoric Open Systems - Agoric Markets and Computation: Agoric Open Systems - Agoric Hardened JavaScript | Documentation Agoric + Protocol Labs // Higher-order Smart Contracts across Chains - Mark Miller - YouTube Agoric Community Forum - Welcome, BLDers! "Atomic" vs "Transactional" terminology note · Agoric/agoric-sdk Wiki Remove POC Zoe metering by erights · Pull Request #4222 · Agoric/agoric-sdk CinderellaTokens.md agoric-sdk/state.md at master · Agoric/agoric-sdk

https://github.com/Agoric/agoric-sdk/wiki/No-Nested-Await

The Open Society and its Media (Mark S Miller at GMU 1991?) - YouTube

https://en.wikipedia.org/wiki/Computer_Lib/Dream_Machines

https://en.wikipedia.org/wiki/Joule_(programming_language)

[dckc]

March 22 notes

no recording

raw tab dump:

Agoric/validator-profiles Inscrutable durableMapStore.get(deviceNode) exception for a missing key · Issue #7105 · Agoric/agoric-sdk Office Hours: Agoric Dev · Issue Agoric/documentation#576 · Agoric/documentation No, Bitcoin isn't pumping because it's a "safe haven" from banks OCapN: CapTP interop with Spritely Networked Communities, Cap'n Proto, - Ecosystem Development - Agoric Community Forum Social media showdown - Inter Protocol - Agoric Community Forum CREW³ | The Agoric/documentation#1 operating system for web3 communities RabbitHole Quest Chains Rocket Pool - Your friendly decentralised Ethereum staking protocol Nomic Bitcoin Bridge Osmosis Info Moving on from Alameda. Early last year, Alameda acquired Ren… | by Ren Community | Ren Project | Medium Syncing Up on Mainnet | Documentation Agoric Node Snapshot | Polkachu Playbook For Cosmos Validators: Node Architecture Choices | by Sophie Huang | Medium WholeSaleInternet | Instant Dedicated Servers spritely · GitLab

[dckc]

29 Mar notes

recording available on request

tab dump:

Place Liquidation Bid via CLI · Issue #6930 · Agoric/agoric-sdk How does Smart-Wallet work? · Agoric/agoric-sdk · Discussion #6934 feat: allow exiting offers by samsiegart · Pull Request Agoric/documentation#62 · Agoric/wallet-app Inter Protocol Governance agoric-sdk/test-agoricNames-rpc-api.js.md at 6111-dc-chainStorage-snapshot-idea · Agoric/agoric-sdk readings in Agoric Foundations: Robust Composition chapters 1-5 · Agoric/agoric-sdk · Discussion #7095 agoric-sdk/index.md at master · Agoric/agoric-sdk Make governance committee membership replaceable · Issue #5539 · Agoric/agoric-sdk rationalize Inter Protocol storage node paths · Issue #6111 · Agoric/agoric-sdk how to send an ERTP payment to an agoric / cosmos address / account · Issue Agoric/agoric-sdk#8114 · Agoric/documentation agoric-sdk/decentral-main-psm-config.json at pismoA · Agoric/agoric-sdk caja/ejectorsGuardsTrademarks.js at 1056be89dad487f9178d89f462fe5cb207c7e604 · googlearchive/caja Office Hours · Agoric/agoric-sdk Wiki SealerUnsealer · dckc/awesome-ocap Wiki sealer unsealer weakmap at DuckDuckGo Agoric Community Forum - Welcome, BLDers! Online FlowChart & Diagrams Editor - Mermaid Live Editor

[dckc]

Apr 5 notes

tab dump:

Office Hours · Agoric/agoric-sdk Wiki wip - get dapp working with community-dev by samsiegart · Pull Request Agoric/documentation#62 · Agoric/dapp-card-store Agoric/dapp-fungible-faucet: A simple dapp that mints and sends fungible tokens to a user's wallet dapp loops trying to connect to wallet · Issue Agoric/documentation#58 · Agoric/dapp-fungible-faucet SFS for Osmosis IST/OSMO Pool - Inter Protocol - Agoric Community Forum Latest Inter Protocol/Econ Committee topics - Agoric Community Forum Osmosis Superfluid Staking FAQ. What is Superfluid Staking? | by Stevie Woofwoof | Osmosis Community Updates | Medium Liquid Staking and Its Benefits: A Deep Dive by Lido | CoinMarketCap Rehypothecation: Meaning and Examples agoric-lecture-content/lectureOne.md at main · Chainboard-Academy/agoric-lecture-content Agoric/agoric-sdk · Discussions · GitHub agoric-sdk/packages/inter-protocol/src/price at master · Agoric/agoric-sdk SwingSet Solo REPL Demo Fungible Token Faucet Register your Agoric Installation Agoric Wallet Chainboard Academy on Twitter: "@agoric x Chainboard Academy Bootcamp starts today! 🎉 Join the first open lecture at 4:00 P.M. GMT., following the link 👉 https://t.co/7LdkFZn7mu https://t.co/g5jQ2s1wE5" / Twitter Informal Blog - Replicated vs. Mesh Security

[dckc]

notes are transitioning to an Office Hours category in agoric-sdk discussions:

• Apr 12 Office Hours Notes - Welcome Diego! · Agoric/agoric-sdk · Discussion #7394

[dckc]

squirreling away a copy of this...