Peeps by @scilla
Showing page 1 of 1 (9 peeps total)
Replying to @noah (0xa11ac7218d9da713711cceee60b1352ebb814c4f)
👍🏼 glad to hear that, will wait patiently. In the meantime, what are the most closely related projects in the Ethereum world?
So far for smart contract language wise not so much, Bamboo was supposed to be it. But, you can verify EVM bytecodes using KEMV. MakerDAO just did this recently.
Replying to @scilla (0xb0c9e1474150159592b9d8cd2328b694e5fd6ff9)
Hey Noah not yet. But we are looking to work with Ethereum foundation, especially with the Vyper team.
We will need to do a compiler to compile Scilla to EVM first. Still a long way to go
Replying to @noah (0xa11ac7218d9da713711cceee60b1352ebb814c4f)
Very very cool. I saw in the docs that it’s not Zilliqa dependent - are you aware of anybody working on Ethereum implementation?
Hey Noah not yet. But we are looking to work with Ethereum foundation, especially with the Vyper team.
Replying to @noah (0xa11ac7218d9da713711cceee60b1352ebb814c4f)
Awesome, and happy to see it’s based on formal verification using Coq! Are you involved with this project?
Exciting time :) Yes, I'm doing dev rel for this
New tools for Scilla, a Principled language for Smart Contracts, amenable to Formal Verification.
+ Savant Integrated Development Environment:
https://savant-ide.zilliqa.com/
+ Scilla documentation:
https://scilla.readthedocs.io/en/latest/
More info @ https://scilla-lang.org
Replying to @jvck (0x49f7729c66b66cbf0a2e174ff4487be22027177c)
Enjoy! And don't forget to visit the city.
Thanks! And the Currywurst!
Replying to @abcoathup (0x13ebd3443fa5575f0eb173e323d8419f7452cfb1)
Welcome Han. 🐧🐧🐧🔥
Thanks for the welcome :)
@ethberlin Could I know the time for getting the tickets? Thanks!