Jun 14 office hours: Chainboard Academy, npm install, ...

[dckc]

JD gave an update on stuff from the community forum. We welcomed Touseef Liaqat, a new member of the Agoric Team.

The last of the Chainboard Academy lectures is now available, lecture materials and recordings:

• agoric-lecture-content · Chainboard-Academy/agoric-lecture-content · GitHub
• Chainboard Academy - YouTube

Looking at lecture 9 on Inter Protocol and lecture 1 on inter-vat communication etc. prompted lots of interesting discussion.

We also talked about some quirks around installing the SDK, evolution of the tendermint community... altogether 25 tabs worth of stuff...

Thanks everybody for another nice discussion.

no zoom recording

tab dump:

• JD's community update

  • Dean Tribble's Gateway to Cosmos Talk: "Agoric, IST and whats next?" - General - Agoric Community Forum
  • Agoric Mainnet Update: Cosmos Barberry Patch - Validators - Agoric Community Forum
    • Cosmos SDK Security Advisory Barberry - Conversation / Security - Cosmos Hub Forum
  • Agoric-upgrade-10 / Mainnet 1B Upgrade - Governance / Network Upgrades - Agoric Community Forum

• installing the SDK: some quirks

  • npm install @agoric/zoe does not work · Issue #3857 · Agoric/agoric-sdk
  • Agoric CLI Commands | Documentation
  • @agoric/zoe - npm
  • Installing the Agoric SDK | Documentation

• Lecture Nine - The Inter Protocol · Chainboard-Academy/agoric-lecture-content · GitHub

  • Inter Protocol Vaults: Contract Implementations - Inter Protocol - Agoric Community Forum

• A Pegasus-IBC walkthrough tutorial by anilhelvaci · Pull Request #7533 · Agoric/agoric-sdk

  • IBC-Demo feedback.md

• agoric-lecture-content/lectureOne/lectureOne.md at main · Chainboard-Academy/agoric-lecture-content · GitHub

  • JavaScript Framework for Secure Distributed Computing | Documentation
  • Agoric + Protocol Labs // Part 1 - Distributed Programming for a Decentralized World - Mark Miller - YouTube

• Agoric - Tech Stack

  • Tendermint: Byzantine Fault Tolerance in the Age of Blockchains
  • Map of zones - Cosmos network explorer
  • CometBFT Documentation - What is CometBFT - v0.37
  • What is Tendermint | Tendermint Core
  • Cosmos / tendermint RPC doc links · Issue #657 · Agoric/documentation

• Google Sheets plugin WORKING discord thread May 2022

  • Jun 2022 comment on · Issue #5421 · Agoric/agoric-sdk

• Agoric patterns | AgoricPatterns

  • by IlyasMercan, a student of Tom Van Cutsem, a co-author of...
  • Distributed Electronic Rights in JavaScript - Agoric 2013 with Mark Miller, Bill Tulloh

[dckc]

Prompted by the inter-vat communication diagram in lecture one, we looked at how an ag-solo communicates with the chain. I showed some recent work I did in this area. We're not clear on how ag-solo uses CapTP. Here's hoping @anilhelvaci finds time to make a new thread on that.

agoric-sdk/packages/deployment/upgrade-test/upgrade-test-scripts/agoric-upgrade-10/env_setup.sh

Lines 88 to 108 in 6fece09

	# submit a DeliverInbound transaction
	#
	# see {agoric.swingset.MsgDeliverInbound} in swingset/msgs.proto
	# https://github.com/Agoric/agoric-sdk/blob/5cc5ec8836dcd0c6e11b10799966b6e74601295d/golang/cosmos/proto/agoric/swingset/msgs.proto#L23
	submitDeliverInbound() {
	sender="${1:-user1}"
	# ag-solo is a client that sends DeliverInbound transactions using a golang client
	# @see {connectToChain} in chain-cosmos-sdk.js
	# runHelper
	# https://github.com/Agoric/agoric-sdk/blob/5cc5ec8836dcd0c6e11b10799966b6e74601295d/packages/solo/src/chain-cosmos-sdk.js
	# The payload is JSON.stringify([messages, highestAck])
	# https://github.com/Agoric/agoric-sdk/blob/5cc5ec8836dcd0c6e11b10799966b6e74601295d/packages/solo/src/chain-cosmos-sdk.js#L625
	# for example, this json was captured from a running `agoric start local-solo`
	json='[[[1,"1:0:deliver:ro+1:rp-44;#[\"getConfiguration\",[]]"]],0]'
	agd tx swingset deliver "${json}" \
	--chain-id="$CHAINID" -ojson --yes \
	--from="$sender" --keyring-backend=test -b block
	}

• test: DeliverInbound from un-provisioned account is discarded #7923