@DangerWillRobin@shegenerates@zeckxyz @0xBrettH If Ken manages it the way he manages the EF grants back in the day, one can already know that nothing will come from it.
@Fiskantes Only ZkRollups would have an interest to it and it is a legitimate concern. Now, it would be probably a bad move marketing wise, many of their supporters are still deep into Eth.
So many words and so little content! Very typical of Optimism…
No docs or post to read about what Bedrock, just random objective description and no I’m not gonna watch your talk lol
For your entertainment, here's a thread about the future of @optimismFND, the upcoming Bedrock upgrade, Rollup decentralization, and ZK. Bedrock is a Rollup client, not an Optimistic Rollup client 😉. Enjoy the spice. 🌈
With the end of an intense week in Paris, I am happy to announce my YouTube series - „Walk The Talk“
In this edition, I walk with 5 StarkNet ecosystem founders in the streets of Paris as we talk about a variety of topics.
IMO we should call most of these L2 scalability solutions (validium, OR, etc.) "rollups", unless they have their own consensus + token (in which case they're just another L1 with a bridge).
I don't care if a zk rollup is not really "zk", because most of that tech is...
(1/5) A paper (Learning Contract Invariants Using Reinforcement Learning) authored by @VeridiseInc folks get accepted by @ASE_conf (top SE venue). Preprint: https://t.co/MzRa7Re7CO
(4/5) Can we automate part of the manual effort? Motivated by the success of AlphaZero, our method incorporates an off-line training phase in which the verifier uses its own verification attempts to learn a policy for contract invariant generation.
@cronokirby Still a weird analysis to me. I don’t remember the early stage of Eth but I’m pretty sure they did not with the EVM 0.1 without a testing and potentially control environment