| 3 Oct 2018 |
|  grigore.rosu set a profile picture. | 01:47:12 |
| grigore.rosu | Hi Greg: sorry for not answering earlier, somehow this channel slipped ... too many channels and bridges in my slack. Ralph was right on the spot with his answers. We have suffered a lot with doing formal verification of EVM contracts, lots of errors being indeed due to overflows. So in IELE we decided to favor mathematical clarity, and thus easier formal verification, over gas. | 01:47:13 |
| grigore.rosu | That being said, note that a smart contract owner who respects his clients can formally verify their contract and as part of that give a provably correct formula for how much gas the contract requires as a function of symbolic inputs. | 01:49:58 |
| grigore.rosu | so everybody knows at call-time how much gas a transaction takes | 01:50:44 |
 @gcolvin:matrix.org | I'm drowning in channels, Grigore. I must turn most of them off if am to get anything else done :(. Fair enough choice for IELE. I'm working in the EVM/eWasm world of fixed-width, power-of-two registers, of course. And not wanting to slow down compiled code anymore than necessary. | 02:06:34 |
| @gcolvin:matrix.org | Still, if this gas formula could be part of the required output of the validation of a contract going onto the blockchain, then metering goes away, does it not? | 02:12:59 |
| grigore.rosu | Greg: Yes! And that is a very important point, in favor of formal verification. | 15:51:06 |
 @gitter_gcolvin:matrix.org | This is very exciting. Given a formal spec of a VM and program, I got that useful properties of program can be established at validation time. What properties I’m not sure, EVM 615 sets out just a few. I hadn’t considered that constant-time formulas could be created that establish properties of the program at call time, like how much gas it needs. What else? | 20:58:21 |
| 15 Oct 2018 |
|  holybao joined the room. | 02:07:41 |
| 20 Oct 2018 |
|  @rinor.hoxha:matrix.org joined the room. | 10:02:33 |
| 1 Nov 2018 |
|  ranwar joined the room. | 03:14:01 |
| 6 Jan 2019 |
|  Zaki | iqlusion.io joined the room. | 02:23:20 |
| 26 Mar 2019 |
|  jurajselep | simplestaking.com changed their display name from jurajselep(simplestaking.com) to jurajselep | simplestaking.com. | 22:02:53 |
| 23 Apr 2019 |
|  dima_tr joined the room. | 10:00:15 |
| 5 May 2019 |
|  xp4.2 joined the room. | 19:05:55 |
| 7 May 2019 |
| @rinor.hoxha:matrix.org left the room. | 12:09:36 |
| 1 Aug 2019 |
|  @locusf:disroot.org changed their profile picture. | 15:01:24 |
|  Slack Integration set their display name to Slack Integration. | 15:01:26 |
| 12 Aug 2019 |
| @locusf:disroot.org left the room. | 12:46:09 |
| 20 Aug 2019 |
|  @gitter_bredamatt:matrix.org changed their display name from Mattia L.V. Bradascio (Gitter) to Mattia Bradascio (Gitter). | 13:42:41 |
| 25 Aug 2019 |
|  @micdecipli5:matrix.org joined the room. | 02:11:40 |
| @micdecipli5:matrix.org left the room. | 02:11:49 |
| 26 Oct 2019 |
|  charlotte_ldmc joined the room. | 16:15:18 |
| 14 Dec 2019 |
|  alois joined the room. | 16:25:26 |
| 17 Dec 2019 |
|  boris joined the room. | 23:47:15 |
| 19 Dec 2019 |
|  natalie joined the room. | 21:59:08 |
|  peter joined the room. | 22:19:29 |
| 21 Dec 2019 |
|  karol joined the room. | 19:28:29 |
|  @patrice:tomesh.net joined the room. | 20:14:41 |
| 22 Dec 2019 |
|  amal joined the room. | 12:17:58 |
