Hi! Thank you for the Goblins idea, but that's not really what I have in mind. What I did in Racket was a formalisation of two smart contract core languages, to be able to see the execution step-by-step. What I had in mind was something like a git where I could publish my work for case study purposes. Thank you :D
A terça-feira, 16 de março de 2021 à(s) 19:24:35 UTC, cwebber escreveu: > James Platt writes: > > > On Mar 15, 2021, at 7:01 PM, Beatriz Moreira wrote: > > > >> Hello! I recently used Racket as a tool to see the small step > >> execution of some smart contract languages and I was wondering if > >> there is anywhere i can submit my work or share it with the Racket > >> community. > > > > One place might be the Racket Artifacts site. I think it's mainly > > intended for short demonstrations of code but, if yours is not too > > long, that might be the place. > > > > https://github.com/racket/racket/wiki/Artifacts > > > > I am interested in smart contracts, as well, for a possible future > > addition to a project I am working on but it will be a while before I > > get to that point. > > Spritely Goblins is probably what you want to look at, or will after the > next release (v0.8) comes out: > > https://docs.racket-lang.org/goblins/index.html > > In the not too distant future, Spritely and Agoric's CapTP should > converge. Agoric's current work is all based around smart contracts: > > https://agoric.com/ > https://github.com/Agoric/agoric-sdk/issues/1827 > > There's a lot of confusion out there about what "smart contracts" mean; > most of the examples tend to assume it has to do with blockchains. In > fact, work on smart contracts precedes blockchains by several decades. > If you look at http://www.erights.org/ on which many of the ideas in > Spritely Goblins is based, you'll notice that it has the word "smart > contracts" prominently, yet this was well over a decade before > blockchains even existed. What the heck? > > Smart contracts as something implemented with distributed objects can be > best understood probably by reading Capability Based Financial Instruments: > > http://erights.org/elib/capability/ode/index.html > > The mint example from that paper is implemented in Goblins: > > > https://gitlab.com/spritely/goblins/-/blob/dev/goblins/actor-lib/simple-mint.rkt > > That's right, in about 25 lines of Goblins code you can have a > functioning bank of sorts, which preserves financial integrity and even > permits networked accounts. No blockchain required. > > Yet, you could add a blockchain, or even turn Goblins into a blockchain > if you wanted. (Since Goblins' actor state is transactional and > snapshottable, you can have a merkle tree of all inputs, and global > consensus on the set of messages accepted by the network, and all > participants can replay and simulate the same abstract machine. This is > fairly trivial to do in Goblins.) > > But more interestingly, Agoric has already done the work of abstracting > even remote blockchains as abstract machines on the network. Since > we'll be implementing the same CapTP, when the time comes you'll be able > to access all that for free, even though Agoric programs are written in > Javascript and Goblins programs in Racket. > > Anyway, the next release of Goblins, coming soon, should allow for > beginning to play with this kind of stuff on the network more easily > than in the present (v0.7) stuff, which currently takes a lot of work. > So maybe if you can wait a few weeks, it'll be easier to talk about. > > But "smart contracts" is a use case, a broad problem domain. What kind > of smart contracts are you wanting to write? > > - Chris > -- You received this message because you are subscribed to the Google Groups "Racket Users" group. To unsubscribe from this group and stop receiving emails from it, send an email to racket-users+unsubscr...@googlegroups.com. To view this discussion on the web visit https://groups.google.com/d/msgid/racket-users/6066d33f-f6e5-44ed-bed9-edda173b15c2n%40googlegroups.com.
