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

[kennyrowe]

Will be there

[tgrecojs]

Will be attending! @dckc

[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]

@tgrecojs asked about upcoming office hours to talk about IBC.
We skipped this past Weds, but I expect we'll do it again Weds, 1 Dec 9am Pacific, right @kennyrowe ?

@michaelfig are you available to join next time to help with IBC?
There's a lot about it that I don't know.

[tgrecojs]

Similarly to @dckc there's a lot i'm not sure of as well 🙂 I'm wondering if it would be possible to use some of this time to discuss:

• the different binaries that play a part in ibc (such as agd, ag-nchainz, nchainz, ag-chain-cosmos)
• how to properly configure hermes to connect with an agoric node.
• using agd and hermes to send transactions, execute queries, etc.

If this sounds like a route that we could take (and would benefit from), then let me know so i can come into the office hours session with my dev environment up and running with a local agoric node as well as other local cosmoshub chains. Let me know if it'd be helpful to get more context into anything mentioned above prior to meeting @michaelfig

thanks!

[dckc]

@tgrecojs please do set up your dev environment for IBC following the pegasus demo notes that @michaelfig put together around the time of the messari mainnet demo

p.s. hermes clues:
Agoric ↔ Pooltoy IBC Testnet [WIP] - HackMD

[MathiasTELITSINE]

Will be there

[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