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
  • how to analyze my own .js file? kaist-plrg/jstar#2 (comment)
• 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]

tab dump from today's session:

zero-install / cloud-IDE option for getting started with agoric-sdk · Issue Agoric/agoric-sdk#554 · Agoric/documentation: Agoric/agoric-sdk#7032
agoric-sdk/networking.md at master · Agoric/agoric-sdk: https://github.com/Agoric/agoric-sdk/blob/master/packages/SwingSet/docs/networking.md
Setting up an Agoric Dapp Client with docker compose · Agoric/agoric-sdk Wiki: https://github.com/Agoric/agoric-sdk/wiki/Setting-up-an-Agoric-Dapp-Client-with-docker-compose
Causality Grid on Canvas: https://causeway-test-treasury.netlify.app/src/js/com/teleometry/causalitygrid#test-treasury
Get Started - agoric-gitpod-nix - Gitpod Code: https://teal-dinosaur-7nitplz9.ws-us18.gitpod.io/
agoric-gitpod-nix/.gitpod.yml at main · dckc/agoric-gitpod-nix: https://github.com/dckc/agoric-gitpod-nix/blob/main/.gitpod.yml
Agoric CLI Guide | Beta: https://agoric.com/documentation/getting-started/agoric-cli-guide.html#starting-multiuser-dapps
Join the Cosmos Hub Mainnet | Cosmos Hub: https://hub.cosmos.network/main/gaia-tutorials/join-mainnet.html#add-seed-nodes
DataStax Academy: https://github.com/DataStax-Academy?type=source

[dckc]

Today we talked about a couple things:

• defensive objects with harden() (requested by @kennyrowe)
• UST to Agoric Build Challenge · Issue #3994 (requested by @mihado)
  • sending a payment over IBC to agoricdev-6 from cosmoshub-test
    • endpoint not found error from ibcport connect() agoric-sdk#4153
    • payments disappeared when auto-deposit was not set agoric-sdk#4149

[dckc]

This week @kennyrowe and I talked about

• getting started with the Agoric SDK
  • some parts are a bit bumpy: no supported workflow for installing from npm agoric-sdk#3857
  • one small fix to smooth things out a little bit: docs: updated link to getting started agoric-sdk#4226
• getRUN and run protocol
• scaling approaches

[Lifexcel]

@dckc, can we have a recorded video if we missed it?

[dckc]

@dckc, can we have a recorded video if we missed it?

If there are any particular topics you want covered, I can arrange to share a recording of a discussion of that topic.

I like to allow space for unrecorded discussion too, though, so it's a balance.

I do have a couple recent recordings that I can share. Stand by.

[dckc]

Meeting Recording of Jan 5, 2022

Some notes based on browser tabs:

The main topic was risks around Oracles in DeFi vault systems, which came up when someone asked about some details of the AMM. After looking at some details such as a relevant contract and some docs:

• agoric-sdk/packages/run-protocol/src/vpool-xyk-amm
• Price Authority

@kennyrowe stepped back to review DeFi vaults in general and specifically his experience with MakerDAO and his emerging understanding of the Agoric Core Economy.

• Oct 2020 Agoric and Chainlink Integration announcement
• The Market Collapse of March 12-13, 2020: How It Impacted MakerDAO

We talked about the RUN protocol using a slide from the Dec 2020 Pillar Series: Public Chain and Economy talk by @dtribble :

as well as the more recent:

• A Deep Dive into Agoric: JavaScript Smart Contracts

@kennyrowe relayed some experience from MKR about per-asset limits. @michaelfig mentioned that it's on our todo list. I looked for it among Core Economy issues. It wasn't until after the call that I found it:

• Governance-controllable RUN debt-limit per collateral type in Vault Factory & getRUN contract agoric-sdk#3501

I did some exploration using the SwingSet Solo REPL Demo: (http://127.0.0.1:8000/).

We looked at how to send over IBC from a contract and noted a suggestion of mine for the Agoric-Akash Build Challenge · Agoric/agoric-sdk#3984 as well as some outstanding issue:

• endpoint not found error from ibcport connect() agoric-sdk#4153
• payments disappeared when auto-deposit was not set agoric-sdk#4149

We also browsed wallet issues and agoric-sdk milestones.

We tried to help someone with:

• Getting type error on deploy step on Starting A Project Sample On Site agoric-sdk#4078

... but couldn't reproduce the problem.

[dckc]

recording: recording: https://youtu.be/lX01RfE5PSE thanks to our host, @jimscarver

today's tab-dump:

Office Hours: Agoric Dev · Issue Agoric/agoric-sdk#576 · Agoric/documentation: #576
CapTP using RhoTypes.proto under @agoric/marshal · Issue Agoric/agoric-sdk#95 · rchain-community/rchain-api: rchain-community/js2rho#16
Issues · Agoric/agoric-sdk: https://github.com/Agoric/agoric-sdk/issues?q=is%3Aopen+label%3Acosmic-swingset+sort%3Aupdated-desc
dckc/price-gecko: https://github.com/dckc/price-gecko
separate production vat bootstrap from testing mechanisms · Issue Agoric/agoric-sdk#4165 · Agoric/agoric-sdk: Agoric/agoric-sdk#4165
Zestival: Day 2 - Google Slides: https://docs.google.com/presentation/d/1jGTgUFAJFoBUtCQPzLqY_807shQu6EYgmNQtuUMwShQ/edit#slide=id.g10cdbdd01a7_0_12
assetStore - a multi token standard · Issue Agoric/agoric-sdk#30 · rchain/rchip-proposals: rchain/rchip-proposals#30 (comment)
SwingSet Solo REPL Demo: http://127.0.0.1:8000/#
agoric-sdk/vat-environment.md at master · Agoric/agoric-sdk: https://github.com/Agoric/agoric-sdk/blob/master/packages/SwingSet/docs/vat-environment.md
Agoric + Protocol Labs // Part 3 - Distributed Secure Cross-chain Messages - Mark Miller - YouTube: https://www.youtube.com/watch?v=sfIMOu2Gktg&list=PLzDw4TTug5O1oHRbp2HkcvKABAY9FKsmG&index=4
SF Cryptocurrency Devs: Agoric - Programming Secure Smart Contracts - YouTube: https://www.youtube.com/watch?v=YXUqfgdDbr8
Issues · Agoric/agoric-sdk: https://github.com/Agoric/agoric-sdk/labels/audit-zestival
ERTP Introduction | Beta: https://agoric.com/documentation/getting-started/ertp-introduction.html#creating-assets-with-ertp
Space / Twitter: https://twitter.com/i/spaces/1rmxPgBnlALJN
Community Call Agoric/agoric-sdk#16 - Google Docs: https://docs.google.com/document/d/1meoKn4DL0uDNHLEOZuxqQ814N4I9TJQy-ZNYfrQIt4M/edit
MadMode: Hello Spritely Institute! And Haunt. And Guix, again | Code: https://www.madmode.com/2022/spritely-haunt-guix
The Spritely Institute: https://spritely.institute/
awesome-ocap/README.md at master · dckc/awesome-ocap: https://github.com/dckc/awesome-ocap/
http://joeduffyblog.com/2015/11/03/blogging-about-midori/
Hardened JavaScript | Beta: https://agoric.com/documentation/guides/js-programming/hardened-js.html#from-ocaps-to-electronic-rights-mint-and-purse
Agoric + Protocol Labs // Higher-order Smart Contracts across Chains - Mark Miller - YouTube: https://www.youtube.com/watch?v=iyuo0ymTt4g&list=PLzDw4TTug5O1oHRbp2HkcvKABAY9FKsmG&t=1525s

cc @jimscarver @tgrospic

[tgrecojs]

Office hours tab dump - January 19**

• Algebraic properties of amounts agoric-sdk#557
• formally verified reasonreact https://github.com/AestheticIntegration/verified-react/tree/master/examples
• imandra org https://github.com/AestheticIntegration
• jiset formal verification for JavaScript spec https://github.com/kaist-plrg/jiset
• holisticspecifications - https://github.com/sophiaIC/HolisticSpecifications
• Imandra formal verification Júpiter notebook - https://try2.imandra.ai/h/user/38b5374a-92f5-403b-9aa3-d9ea32f4cdc4/notebooks/A%20Quick%20Tour%20of%20Imandra.ipynb?
• Madmode: notes on natural deduction https://www.madmode.com/2013/fs-tt/fs86.html
• Formally verified idris https://github.com/statebox/idris-ct
• @tgrecojs egghead.io playlist on ADTs in JS https://app.egghead.io/playlists/a-to-z-in-fp-beyond-the-basics-of-functional-programming-f7ff
• Monoid wiki - https://en.wikipedia.org/wiki/Monoid#Definition
• Monad wiki - https://en.wikipedia.org/wiki/Monad
• Agoric Papers - "Reasoning about risk and Trust in an open world" https://papers.agoric.com/assets/pdf/papers/reasoning-about-risk-and-trust-in-an-open-world.pdf

cc @dckc

[dckc]

@kennyrowe and I had a short call this week.
#627 documents an issue he ran into getting started on an M1.

[dckc]

Office Hours: Agoric Dev · Issue Agoric/agoric-sdk#576 · Agoric/documentation: #576
SwingSet Solo REPL Demo: http://127.0.0.1:8000/#
AMM UI hung due to hung / dead issuer · Issue Agoric/agoric-sdk#4512 · Agoric/agoric-sdk: Agoric/agoric-sdk#4512
Agoric/agoric-sdk: monorepo for the Agoric Javascript smart contract platform: https://github.com/Agoric/agoric-sdk
Issues · Agoric/agoric-sdk: https://github.com/Agoric/agoric-sdk/labels/good%20first%20issue
agoric | Gitcoin: https://gitcoin.co/agoric/bounties
Agoric - Bug Bounty Program | HackerOne: https://hackerone.com/agoric?type=team
eventual send with E() | Beta: https://agoric.com/documentation/guides/js-programming/eventual-send.html
Distributed Programming for a Decentralized World - YouTube: https://www.youtube.com/playlist?list=PLzDw4TTug5O1oHRbp2HkcvKABAY9FKsmG
Home | Uniswap Protocol: https://uniswap.org/
Uniswap Info: https://info.uniswap.org/#/
Careers: https://agoric.com/careers/
SwingSet Solo REPL Demo: http://127.0.0.1:8000/#
sync REPL home docs with agoric deploy docs · agoric/documentation: https://app.zenhub.com/workspaces/agoric-primary-workspace-5fda3aa55dbe1100117cbaae/issues/agoric/documentation/617
Markets and Computation: Agoric Open Systems - Agoric: https://papers.agoric.com/papers/markets-and-computation-agoric-open-systems/abstract/

[dckc]

March 2 recording:

https://agoric.zoom.us/rec/share/o17X7VHtM_UyK3ZthhMAUpa2mVLhVl9R2wftBHu4U4nG7Tq9EO4HgvsjufzppMwc.FB0evXhiXOhUNt71 Passcode: x4M^L+Rp

earlier...

possible topics:

• https://github.com/Agoric/validator-profiles/wiki/Request-1-BLD
• UST to Agoric Build Challenge agoric-sdk#3994

[dckc]

rough notes on today's office hours:

I answered a question about identity by way of the car key example from slide 16 of Marc Stiegler's PictureBook of
Secure Cooperation.

We got an update on Agoric/agoric-sdk#3984

We spent most of the time talking with @anilhelvaci about

• Ticketing System - NFTs for event tickets agoric-sdk#4657
• Cannot Bid On A Card dapp-card-store#50

[dckc]

tab dump from today:

Office Hours: Agoric Dev · Issue #576 · Agoric/documentation: #576
Request 1 BLD · Agoric/validator-profiles Wiki: https://github.com/Agoric/validator-profiles/wiki/Request-1-BLD
feat(subm): 1 BLD request status google sheet by dckc · Pull Request rchain-community/rchain-api#44 · Agoric/testnet-notes: Agoric/testnet-notes#44
Request 1 BLD processing - Google Sheets: https://docs.google.com/spreadsheets/d/1oiyioz0O-w-6jhNYDnr_nkFvpkcRRhUuwHCmcUWAzB0/edit#gid=0
deploy runStake to devnet (agoricdev-8) by cosmos governance · Issue #4348 · Agoric/agoric-sdk: Agoric/agoric-sdk#4348 (comment)
Issues · Agoric/agoric-sdk: https://github.com/Agoric/agoric-sdk/labels/bounty
Extend Dapp Card Store to Allow Secondary Sales · Issue #3883 · Agoric/agoric-sdk: Agoric/agoric-sdk#3883
Build a pool-based loan protocol on Agoric · Issue #3226 · Agoric/agoric-sdk: Agoric/agoric-sdk#3226
Agoric Office Hours - Bounty Questoins - Google Docs: https://docs.google.com/document/d/1UeicfQHYYfqfphaHziv8vDMdb9Z0MIa1OyA17-whzLE/edit

[dckc]

RUN Protocol Preview Launch on devnet this Friday

Agoric/agoric-sdk#5062 is a plan to launch the RUN protocol contracts on devnet by vote of BLD holders ( devnet BLD holders, of course).
The community is invited to participate!

1. Add devnet to your keplr wallet using https://wallet.agoric.app/
2. Use https://testnet.ping.pub/agoric-devnet/staking to stake some BLD
3. Use https://testnet.ping.pub/agoric-devnet/gov to vote! (proposals to appear)

I plan to try all this out in office hours tomorrow and make a short video. Wish me luck!

cc @kennyrowe

[dckc]

Good group today!

The main topics I remember were

• loan protocols
• devnet staking / voting with keplr using keplr wallet for devnet governance and staking #668
  • short video of this part passcode 2?uGu=$J
• NFT ticketing bounty
• Axelar Bounty

raw tab dump follows. Here's hoping I find time to edit a bit.

using keplr wallet for devnet governance and staking · Issue #668 · Agoric/documentation: #668
continuing invitation pattern · Issue #667 · Agoric/documentation: #667
Ping Wallet: https://testnet.ping.pub/wallet/delegations
Ping Wallet: https://testnet.ping.pub/agoric-devnet/tx/A7718482B8199F1A193C10A242AFB4A7770B7B9A741016E9FD5428CEDEB5AEDD
Agoric || Welcome aboard!: https://wallet.agoric.app/
Agoric-Axelar Cross-Chain Bounty · Issue #5108 · Agoric/agoric-sdk: Agoric/agoric-sdk#5108
wallet-app/suggest-agoric-proto-mainnet.js at main · Agoric/wallet-app: https://github.com/Agoric/wallet-app/blob/main/public/suggest-agoric-proto-mainnet.js
JavaScript Framework for Secure Distributed Computing | Beta: https://agoric.com/documentation/guides/js-programming/
Request 1 BLD · Agoric/validator-profiles Wiki: https://github.com/Agoric/validator-profiles/wiki/Request-1-BLD
Agoric + Protocol Labs // Part 4 - Writing Composable Smart Contracts - Mark Miller - YouTube: https://www.youtube.com/watch?v=dsnVsHbqVWg&list=PLzDw4TTug5O1oHRbp2HkcvKABAY9FKsmG&index=4
Commonwealth – Agoric: https://commonwealth.im/agoric/proposals
dckc/awesome-ocap: Awesome Object Capabilities and Capability Security: https://github.com/dckc/awesome-ocap
Tech Stack - Agoric: https://agoric.com/tech/
The Big Dipper | Cosmos Explorer by Forbole: https://main.explorer.agoric.net/
Map of zones - Cosmos network explorer: https://mapofzones.com/?testnet=false&period=24&tableOrderBy=ibcVolume&tableOrderSort=desc
Cosmos-Moonbeam Bridge: How to Bridge ATOM to Moonbeam | by StellaSwap | Mar, 2022 | Medium: https://stellaswap.medium.com/cosmos-moonbeam-bridge-how-to-bridge-atom-to-moonbeam-5b90ba1f7559
Office Hours: Agoric Dev · Issue #576 · Agoric/documentation: #576
fun.md: https://gist.github.com/dckc/9c393be1bd5a147f72c6b42ca12a1aa2
Transaction A7718482B8199F1A193C10A242AFB4A7770B7B9A741016E9FD5428CEDEB5AEDD on Cosmos Hub | The Big Dipper: https://devnet.explorer.agoric.net/transactions/A7718482B8199F1A193C10A242AFB4A7770B7B9A741016E9FD5428CEDEB5AEDD
Osmosis: https://app.osmosis.zone/assets
Cosmos HUB and the Future of Shared Security - Blockworks: https://blockworks.co/cosmos-hub-and-the-future-of-shared-security/
agoric-sdk/networking.md at master · Agoric/agoric-sdk: https://github.com/Agoric/agoric-sdk/blob/master/packages/SwingSet/docs/networking.md

[dckc]

Today we talked quite a bit about preparing a workshop for Gateway Conference & Hackathon May 16/17.

We touched on other topics as well, of course. Raw tab dump follows:

Office Hours: Agoric Dev · Issue #576 · Agoric/documentation: #576
Demo: create an ERTP token and add it to the AMM / Swap · Issue #616 · Agoric/documentation: #616
agoric-labs/gov-demo1: https://github.com/Agoric-labs/gov-demo1
SwingSet Solo REPL Demo: http://127.0.0.1:8000/#
Ping Wallet: https://testnet.ping.pub/agoric-devnet/gov/2
Gateway Conference & Hackathon: https://gateway.events/
Economy & Network - Agoric: https://agoric.com/economy/
How To Build a Composable DeFi Contract - YouTube: https://www.youtube.com/watch?v=e9dMkC2oFh8&t=472s
Transaction 3397CC8DDB4A67A99EFC6B9804A7DB93D8325BE20A4E97017B70050322E55D7B on Cosmos Hub | The Big Dipper: https://devnet.explorer.agoric.net/transactions/3397CC8DDB4A67A99EFC6B9804A7DB93D8325BE20A4E97017B70050322E55D7B
Commonwealth – Agoric: https://commonwealth.im/agoric/discussion/4295-devnet-proposal-to-deploy-runstake-passed
Map of zones - Cosmos network explorer: https://mapofzones.com/?testnet=false&period=24&tableOrderBy=ibcVolume&tableOrderSort=desc
IBC Launch Paves Way For Agoric Interoperability: https://agoric.com/blog/announcements/ibc-stargate-crosschains/
JavaScript Framework for Secure Distributed Computing | Beta: https://agoric.com/documentation/guides/js-programming/
Agoric + Protocol Labs // Part 1 - Distributed Programming for a Decentralized World - Mark Miller - YouTube: https://www.youtube.com/watch?v=52SgGFpWjsY&list=PLzDw4TTug5O1oHRbp2HkcvKABAY9FKsmG&index=1&t=614s
Validators | Agoric Block Explorer: https://agoric.bigdipper.live/validators
Decentralized Cooperation Foundation: https://dcfoundation.io/
Agoric/validator-profiles: https://github.com/Agoric/validator-profiles
Install RUN Protocol Preview release in devnet on April 22 · Issue #5062 · Agoric/agoric-sdk: Agoric/agoric-sdk#5062

[dckc]

tab dump from yesterday:

Office Hours: Agoric Dev · Issue #576 · Agoric/documentation: #576
How to add an offer, getOfferResult via wallet / wallet bridge · Issue #671 · Agoric/documentation: #671
Delegation Policy: https://dcfoundation.io/delegation-policy
gateway-agoric-workshop-2022/App.js at ui · RBFLabs/gateway-agoric-workshop-2022: https://github.com/RBFLabs/gateway-agoric-workshop-2022/blob/ui/contract-2-react/src/App.js
React App: http://localhost:3000/
dapp-treasury/index.jsx at main · Agoric/dapp-treasury: https://github.com/Agoric/dapp-treasury/blob/main/ui/src/index.jsx#L1-L2
instagoric/amm_swap.js at main · Agoric/instagoric: https://github.com/Agoric/instagoric/blob/main/bases/ag-solo-tasks/tasks/amm_swap.js
[NG] Explorer | Agoric | 8EFF5D433A02820783852B408A1376FD3A2B3CDED942647BC56C68719B5FBDB4: https://devnet.agoric.explorers.guru/transaction/8EFF5D433A02820783852B408A1376FD3A2B3CDED942647BC56C68719B5FBDB4
Agoric/instagoric: Kubernetes spec for agoric networks: https://github.com/Agoric/instagoric
The Big Dipper | Cosmos Explorer by Forbole: https://devnet.explorer.agoric.net/
Gateway 2022 - Agoric Workshop - Google Slides: https://docs.google.com/presentation/d/1Rr01wNR6JzDrfi5FKGGHHk3NqbT6LdhB8HUK21uKT3Q/edit#slide=id.g1285bd167a4_0_69

May 18 - manual oracle

I explained how to use the fake oracle ( Agoric/agoric-sdk#5242 ) but I didn't record it nor take notes. :-/

post-hoc: Agoric/agoric-sdk#5242 (comment)

[dckc]

Today's session was recorded.

• Here's hoping I get the recording out soonish...

There were 9 of us to start... Anil had 3 questions... there are some notes in #dev.

We tried to reproduce my results of streaming AMM swap data to a google spreadsheet
Agoric/agoric-sdk#5421 (comment)

but the notifications didn't trigger new rows. hm. Maybe I was running on a branch that didn't have all the relevant code.

[dckc]

Nov 16 notes

recording:

• Agoric Dev Office Hours Nov 16 Passcode: =w2p11fk

raw tab dump:

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

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

ERTP Overview | Documentation
https://docs.agoric.com/guides/ertp/#ertp-concepts-overview

Governance Analysis · Issue #41 · anilhelvaci/dapp-pool-lending-protocol
anilhelvaci/dapp-pool-lending-protocol#41

agoric-sdk/sellItems.js at 4e0aece631d8310c7ab8ef3f46fad8981f64d208 · Agoric/agoric-sdk
https://github.com/Agoric/agoric-sdk/blob/4e0aece631d8310c7ab8ef3f46fad8981f64d208/packages/zoe/src/contracts/sellItems.js

agoric-sdk/coreArchitecture.png at 4e0aece631d8310c7ab8ef3f46fad8981f64d208 · Agoric/agoric-sdk
https://github.com/Agoric/agoric-sdk/blob/4e0aece631d8310c7ab8ef3f46fad8981f64d208/packages/governance/docs/coreArchitecture.png

sell1-README.md
https://gist.github.com/dckc/0988dfe516c24a1e925a1d68b3a69217

ag0 to agd upgrade for mainnet 1 launch · Agoric/agoric-sdk Wiki
https://github.com/Agoric/agoric-sdk/wiki/ag0-to-agd-upgrade-for-mainnet-1-launch

test(getting-started): remove /wallet by turadg · Pull Request #6516 · Agoric/agoric-sdk
Agoric/agoric-sdk#6516

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

Transaction Details | Agoric Block Explorer
https://bigdipper.live/agoric/transactions/F39ACE2C55711B593C22AEC8833DF076E4E17DDE99ADA1CF9E4DBDD7F47471E7

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

The Settlers of Blockchain - Agoric Blog
https://agoric.com/blog/technology/the-settlers-of-blockchain/

sell1-README.md
https://gist.github.com/dckc/0988dfe516c24a1e925a1d68b3a69217

[dckc]

Nov 30 notes

recording:

• Agoric Dev Office Hours Nov 30 Passcode: +zvV+hi7

contents / links:

• 00:00:15 Governance Analysis: Nov 29 comment on Issue Agoric/documentation#41 · anilhelvaci/dapp-pool-lending-protocol
• 00:00:35 Network change: Instituting fees on the Agoric chain to mitigate spam transactions - Welcome / Announcements - Agoric Community Forum
  • Transactions | Agoric Block Explorer - to confirm that spam has been mitigated
  • Economy - Agoric - aiming to get value from economic growth rather than transaction fees
• 00:08:20 Economic Committee Budget Proposal - Governance / Community Fund - Agoric Community Forum
• 00:09:10 Add Axelar DAI to Parity Stability Module - Inter Protocol - Agoric Community Forum
  • "Is Dai stable with respect to USD?" - Dai Price in USD: DAI Live Price Chart & News | CoinGecko
  • proposal on a testnet: Emerynet governance
  • Emerynet voting power
  • detailed proposal: DAI-for-PSM.md
  • IST Dashboard | Datadog
• 00:24:20 best version of agoric-sdk for local contract / dapp development
  • Harmonise core/boot-psm.js with core/boot.js by michaelfig · Pull Request #6568 · Agoric/agoric-sdk
  • Starting a Project | Documentation
• 00:36:30 Intro to Zoe: contract deployment, REPL usage
  • sell1-README.md
• 1:03:30 applying REPL patterns to building a dapp UI
  • Wallet API | Documentation
  • dapp-pool-lending-protocol/WalletConnection.jsx at development · anilhelvaci/dapp-pool-lending-protocol
  • cboydstun/dapp-sell-thing
• 01:08:30 governance bounties
  • Agoric governance: Open Electorate Created by Public Vote · Issue #6485 · Agoric/agoric-sdk
  • Agoric governance: votecounter for Instant-runoff Voting Bounty · Issue #6449 · Agoric/agoric-sdk
  • agoric-sdk/committee.js at master · Agoric/agoric-sdk

[dckc]

Dec 7 notes

raw tab dump:

Ping Dashboard
https://ollinet.explorer.agoric.net/agoric/tx/FF712E74B3F283852BE14432C31053C2CD87CC6635C8D928C5BB7D719DE53B03

Inter Protocol Governance
https://econ-gov.inter.trade/?agoricNet=main

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

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

Cannot deliver "getBridge" to target. error from agoric start · Issue #6189 · Agoric/agoric-sdk
Agoric/agoric-sdk#6189

Agoric/dapp-card-store: A example dapp for selling baseball cards and other NFTs
https://github.com/Agoric/dapp-card-store

Agoric’s Composable Smart Contract Framework Reaches Mainnet-1 Milestone
https://agoric.com/blog/announcements/agoric-composable-smart-contract-framework-reaches-mainnet-1-milestone/

Add Axelar DAI to Parity Stability Module - Inter Protocol - Agoric Community Forum
https://community.agoric.com/t/add-axelar-dai-to-parity-stability-module/102

IST Dashboard | Datadog
https://p.us3.datadoghq.com/sb/447f3220-2710-11ed-970a-da7ad0900003-f73bc86c865206d6a7412014f48c8b33?from_ts=1670429367662&to_ts=1670432967662&live=true

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

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

Agoric governance: Open Electorate Created by Public Vote · Issue #6485 · Agoric/agoric-sdk
Agoric/agoric-sdk#6485

agoric-sdk/econCommitteeCharter.js at f5b2db2dfe7710bc2fa6b8b33055568ac2995a14 · Agoric/agoric-sdk
https://github.com/Agoric/agoric-sdk/blob/f5b2db2dfe7710bc2fa6b8b33055568ac2995a14/packages/inter-protocol/src/econCommitteeCharter.js

API for Upgradeable Zoe Contracts · Discussion #5708 · Agoric/agoric-sdk
Agoric/agoric-sdk#5708

IST Dashboard | Datadog
https://p.us3.datadoghq.com/sb/447f3220-2710-11ed-970a-da7ad0900003-f73bc86c865206d6a7412014f48c8b33?from_ts=1670431250845&to_ts=1670434850845&live=true

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

Implement or Integrate SIGN_MODE_TEXTUAL · Issue #4529 · Agoric/agoric-sdk
Agoric/agoric-sdk#4529

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

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

[dckc]

Dec 14 notes, recording

• Agoric Dev Office Hours: Dec 14, 2022 Passcode: $!sN10x$

we started recording when we got to the topic of granting chainStorage powers (#5687)

we continued with agoric publish and verified that we're no longer blocked by...

• #6454

tab dump:

Cannot deliver "getBridge" to target. error from agoric start · Issue #6189 · Agoric/agoric-sdk
Agoric/agoric-sdk#6189

Internet of Blockchains - Cosmos Network
https://v1.cosmos.network/rpc/v0.44.5

Documentation
https://docs.agoric.com/

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

agoric-sdk/psm.js at 65d3f14c8102993168d2568eed5e6acbcba0c48a · Agoric/agoric-sdk
https://github.com/Agoric/agoric-sdk/blob/65d3f14c8102993168d2568eed5e6acbcba0c48a/packages/inter-protocol/src/psm/psm.js#L255

read-only chainStorage for any Zoe contract · Issue #5687 · Agoric/agoric-sdk
Agoric/agoric-sdk#5687

request body too large from install-bundle / 400 from agoric publish · Issue #6454 · Agoric/agoric-sdk
Agoric/agoric-sdk#6454

agoric-sdk/types.js at 65d3f14c8102993168d2568eed5e6acbcba0c48a · Agoric/agoric-sdk
https://github.com/Agoric/agoric-sdk/blob/65d3f14c8102993168d2568eed5e6acbcba0c48a/packages/store/src/types.js#L31

sell1-README.md
https://gist.github.com/dckc/0988dfe516c24a1e925a1d68b3a69217

Instagoric
https://devnet.agoric.net/

SwingSet Solo REPL Demo
http://127.0.0.1:8000/#

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

swagger cosmos at DuckDuckGo
https://duckduckgo.com/?q=swagger+cosmos&t=brave&ia=web

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

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

[dckc]

Dec 21 notes - ERTP, interop with ERC-20, CW, IBC, ...

• Agoric Dev Office Hours: Dec 21, 2022 Passcode: #ZkH%9NJ

Add Axelar DAI to Parity Stability Module - Inter Protocol - Agoric Community Forum
https://community.agoric.com/t/add-axelar-dai-to-parity-stability-module/102/12

DAI-for-PSM.md
https://gist.github.com/dckc/d252f24dc8185aa913554a20daa79fbb

IST Dashboard | Datadog
https://p.us3.datadoghq.com/sb/447f3220-2710-11ed-970a-da7ad0900003-f73bc86c865206d6a7412014f48c8b33?from_ts=1671634042188&to_ts=1671637642188&live=true

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

Agoric + Protocol Labs // Higher-order Smart Contracts across Chains - Mark Miller - YouTube
https://www.youtube.com/watch?v=iyuo0ymTt4g&list=PLzDw4TTug5O1oHRbp2HkcvKABAY9FKsmG&t=1525s

Pet Daemon by kriskowal · Pull Request #1413 · endojs/endo
endojs/endo#1413

Instagoric
https://emerynet.agoric.net/

NLnet grant bootstraps OCapN protocol standardization effort! -- Spritely Institute
https://spritely.institute/news/nlnet-grant-bootstraps-ocapn-protocol-standardization-effort.html

First pre-standardization meeting - 2022-12-06 8-9pm UTC · Issue #23 · ocapn/ocapn
ocapn/ocapn#23

Map of zones - Cosmos network explorer
https://mapofzones.com/home/agoric-3/overview?columnKey=ibcVolume&period=24h

Capability-based Financial Instruments - Agoric
https://papers.agoric.com/papers/capability-based-financial-instruments/abstract/

From Objects to Capabilities
http://www.erights.org/elib/capability/ode/ode-capabilities.html

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

Issues · endojs/endo
https://github.com/endojs/endo/issues

[dckc]

Jan 4 notes

• Jan 4 zoom recording Passcode: 91wRc?7A

tab dump

Office Hours: Agoric Dev · Issue #576 · Agoric/documentation
#576

Agoric-Axelar Cross-Chain Bounty · Issue #5108 · Agoric/agoric-sdk
Agoric/agoric-sdk#5108

cannot start axelar: seeds.toml not found · Issue #2 · pitalco/axelar-transfer
mystic-lab/axelar-transfer#2

pitalco/axelar-transfer: The Agoric bridge and cross-chain communication contract for EVM chains using Axelar
https://github.com/pitalco/axelar-transfer

fungible faucet doesn't demonstrate quid-pro-quo asset exchange · Issue #744 · Agoric/documentation
#744

sell1-README.md
https://gist.github.com/dckc/0988dfe516c24a1e925a1d68b3a69217

go_1_19: 1.19 -> 1.19.1 by zowoq · Pull Request #190037 · NixOS/nixpkgs
https://github.com/NixOS/nixpkgs/pull/190037/files

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

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

agoric-sdk/index.md at master · Agoric/agoric-sdk
https://github.com/Agoric/agoric-sdk/blob/master/packages/governance/docs/index.md#corearchitecturepng

(6) Jacob Gadikian on Twitter: "@dckc @0xSpaydh @zmanian @Agoric @DeanTribble Hmmmmm. Oh hi btw!" / Twitter
https://twitter.com/gadikian/status/1610681675465523201

Agoric’s Composable Smart Contract Framework Reaches Mainnet-1 Milestone
https://agoric.com/blog/announcements/agoric-composable-smart-contract-framework-reaches-mainnet-1-milestone/

MadMode: Toward capabilities all the way down with Genode on a Thinkpad | Code
https://www.madmode.com/2023/genode-thinkpad-dual-boot.html

Issues · Agoric/agoric-sdk
https://github.com/Agoric/agoric-sdk/issues?q=offerfilter

Discussions · endojs/endo
https://github.com/endojs/endo/discussions

contract host site:erights.org at DuckDuckGo
https://duckduckgo.com/?q=contract+host+site%3Aerights.org&t=brave&ia=web

Inter Protocol Governance
https://econ-gov.inter.trade/

Inter Protocol
https://inter.trade/

Inter Protocol PSM
https://psm.inter.trade/

IST Dashboard | Datadog
https://p.us3.datadoghq.com/sb/447f3220-2710-11ed-970a-da7ad0900003-f73bc86c865206d6a7412014f48c8b33?from_ts=1672851733980&to_ts=1672855333980&live=true

[dckc]

Jan 11 notes

raw tab dump:

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

Notifications
https://github.com/notifications

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

OmniFlix Network
https://omniflix.network/

Map of zones - Cosmos network explorer
https://mapofzones.com/home/umee-1/overview?columnKey=ibcVolume&period=24h&searchZone=umee

agoric-sdk/virtualObjectManager.js at 8f4194ada91def0c218a9d50edcf73d6cf158efb · Agoric/agoric-sdk
https://github.com/Agoric/agoric-sdk/blob/8f4194ada91def0c218a9d50edcf73d6cf158efb/packages/SwingSet/src/liveslots/virtualObjectManager.js#L685

Agoric Swingset Kernel and Userspace, Phase 1
file:///home/connolly/Downloads/informal-agoric-report-phase1%20(1).pdf

JavaScript Framework for Secure Distributed Computing | Documentation
https://docs.agoric.com/guides/js-programming/

Distributed Programming for a Decentralized World - YouTube
https://www.youtube.com/playlist?list=PLzDw4TTug5O1oHRbp2HkcvKABAY9FKsmG

Discussions · Agoric/agoric-sdk
https://github.com/Agoric/agoric-sdk/discussions

What if a contract dies when it is holding assets? · Discussion #5469 · Agoric/agoric-sdk
Agoric/agoric-sdk#5469

Distributed Secure Cross-chain Messages - YouTube
https://www.youtube.com/watch?v=9DYOc4z2qdM&t=55s

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

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

agoric-sdk/packages/zoe/test/swingsetTests/upgradeCoveredCall at master · Agoric/agoric-sdk
https://github.com/Agoric/agoric-sdk/tree/master/packages/zoe/test/swingsetTests/upgradeCoveredCall

Document Durability · Issue #750 · Agoric/documentation
#750

capability-based-financial-instruments.pdf
https://papers.agoric.com/assets/pdf/papers/capability-based-financial-instruments.pdf

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

[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
Agoric/agoric-sdk#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
Agoric/agoric-sdk#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 #33 · Agoric/dapp-inter
Agoric/dapp-inter#33

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

How to integrate Agoric...

how to send an ERTP payment to an agoric / cosmos address / account · Issue Agoric/agoric-sdk#8114 · Agoric/documentation
Agoric/agoric-sdk#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
Agoric/agoric-sdk#6812

[dckc]

Feb 1 notes

raw tab dump:

how to grant chainStorage access to a contract? · Discussion #6839 · Agoric/agoric-sdk
Agoric/agoric-sdk#6839

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

constrain mailbox to devnet config, to protect against c-list/liveslots DoS attacks · Issue #5965 · Agoric/agoric-sdk
Agoric/agoric-sdk#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
Agoric/agoric-sdk#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 #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
Agoric/agoric-sdk#6866

Notifier Package · Issue #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
Agoric/agoric-sdk#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
Agoric/agoric-sdk#3857

separate agd build process from runtime files · Issue #6455 · Agoric/agoric-sdk
Agoric/agoric-sdk#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 #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
Agoric/agoric-sdk#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
Agoric/agoric-sdk#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
Agoric/agoric-sdk#5156

wrong args to makeOfferDestination in setting up reserve, fee distribution · Issue #7046 · Agoric/agoric-sdk
Agoric/agoric-sdk#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 #775 · Agoric/documentation
#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 #576 · Agoric/documentation
#576

readings in Agoric Foundations: Robust Composition chapters 1-5 · Agoric/agoric-sdk · Discussion #7095
Agoric/agoric-sdk#7095

[story] Support AMM trading in new smart wallet · Issue #6132 · Agoric/agoric-sdk
Agoric/agoric-sdk#6132

how to send an ERTP payment to an agoric / cosmos address / account · Issue Agoric/agoric-sdk#8114 · Agoric/documentation
Agoric/agoric-sdk#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 #17
https://agoric.explorers.guru/proposal/17

Proposal #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...