search

rchain-community / js2rho

experimental JavaScript to Rholang translator
3 stars 1 forks source link

Agoric DEX tools: ERTP, Zoe, ... #4

Open dckc opened 4 years ago

dckc commented 4 years ago

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 commented 4 years ago

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 commented 3 years ago

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 https://github.com/rchain/rchip-proposals/issues/30#issuecomment-694321591

dckc commented 3 years ago

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 commented 3 years ago

@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: