I was just told this topic is off-topic on the racket discord--clearly an injustice:
[image: image.png] On Mon, 19 Apr 2021 at 04:16, Adam Golding <adamgold...@gmail.com> wrote: > Also I just discovered this: > http://www.michaelburge.us/2017/11/28/write-your-next-ethereum-contract-in-pyramid-scheme.html > > On Mon, 19 Apr 2021 at 03:42, Adam Golding <adamgold...@gmail.com> wrote: > >> Beatri please tell us more and publish to Github :-) It seems to me that >> some racketers should enter the https://moralis.io/hackathon/ to make >> racket contracts work across other smart contract systems, as this platform >> has already done some of the boring leg work, otherwise, how will the idea >> of a 'racket web server' adapt to the needs of a web3 site that interfaces >> with smart contracts on multiple blockchains? >> >> On Thu, 25 Mar 2021 at 11:44, Beatriz Moreira <beatriz.smore...@gmail.com> >> wrote: >> >>> 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 >>> <https://groups.google.com/d/msgid/racket-users/6066d33f-f6e5-44ed-bed9-edda173b15c2n%40googlegroups.com?utm_medium=email&utm_source=footer> >>> . >>> >> -- 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/CALiGnDA%3DW2tanvoi85xA6wm_P-nOkL_EpNOwyXrusxXGB9QsFg%40mail.gmail.com.
