Agoric DEX tools: ERTP, Zoe, ...

[dckc]

Plus, the Agoric folks are pretty far along with stuff like ERTP and Zoe, and I'd like to have access to that stuff on RChain for stuff like a DEX.

[dckc]

learned a bunch about this at the Agoric internal hackathon last month:

http://www.peg-as.us/

MarkM’s presentation in Berlin June 2019 on ERights Pegging on IBC
the ERights makePeg contract fits on one slide: https://github.com/Agoric/dapp-pegasus/blob/master/contract/old-make-peg.js

[dckc]

And we should have rholang type signatures ... ideally including behavioral types to demonstrate security properties.
https://github.com/rchain-community/behavr
[2002.08334] Holistic Specifications for Robust Programs Feb 2020

see also rchain/rchip-proposals#30 (comment)

[dckc]

Aug 13 in #dapp-ideas:

dckc:: anyone want to port uniswap to rholang? I can help. "Autoswap is a rewrite of Uniswap." not sure what it would take to adapt the dApp front-end https://github.com/Agoric/dapp-autoswap
(several positive reactions)
dckc:: I suggest you start by installing vs-code and the rholang plugin. Then watch part 4 of the Agoric stack talk series (30 min) OK?
dckc:: Their Zoe stuff is cool, but I'd rather skip that for now... not entirely clear how much that cuts out. but this contracts/test-autoswap.js test / example is an interesting target:

[dckc]

@fabcotech: re upcoming ocap branch for https://github.com/fabcotech/rchain-token ...

I think the shortest path to victory is porting https://github.com/Agoric/agoric-sdk/tree/master/packages/ERTP to rholang. (this is one of the main motivations for js2rho)

for anybody else getting up to speed, see:

• the 8 minutes from to 25:00 33:00 in Agoric + Protocol Labs // Higher-order Smart Contracts across Chains.
• the original "Simple Money" section of From Objects to Capabilities