We've been a part of the OpenAI API beta for a while now, and what I can tell you is that ENTIRE industries are about to be completely re-made in a matter of months.
It's here!!! Solidity -> Cairo just got serious.
The first stable release of Warp 2.0, will be undergoing an audit. Warp 2 is orders of magnitude better than Warp 1 anyway you measure it.
Absolutely amazing work by the Warp team
@nethermind
<3
For anyone who is interested, here is a library of essays, interviews and old talks by some of the most important people in the history of computing and the early internet: worrydream.com/refs/ (Licklider, Hamming, Kay, Engelbart, Minsky & more)
Solidity on StarkNet? Yes, StarkNet, the L2 where gas gets cheaper as more people use it, thanks to some STARK magic.
A brief description on the current progress of Warp. tldr; its really close to being finished. @StarkWareLtd@nethermind@CairoLang
Dai transpiled from Solidity to Cairo with Warp 2.0 vs its hand-written Cairo counterpart. Efficiency is almost exactly the same, and the transpiled contract is 10KB smaller than the native one
Really excited to be the new CTO at @nethermind. @tkstanczak is an incredible CEO. I've learned so much from him and everyone in the @nethermind family over the last 8 months.
To everyone at @nethermind: I can't wait to see all the great things you'll build.
Nethermind's formal verification team has been building serious tooling around @CairoLang. We'll be releasing our Cairo automated theorem prover soon. We're also doing EVM formal Verificatin.
Here's what @StarkWareLtd President & Co-Founder @EliBenSasson had to say about them:..
DVT is vital for ensuring staking remains permissionless, trustless, and decentralized.
The cryptography research team at @nethermind has been hard at work on this problem. This is the first part of a series giving you a technical run-down on DVT.
Ethereum withdrawals update:
- There was a small change in the withdrawals format, hence there will be one more devnet (withdrawal-devnet-3)
- The public testnet is still targeted for next week
We've just made Warp 2.0 public:
github.com/NethermindEth/…
It's still absolutely not production-ready, there's still stuff we need to implement. PRs are welcome! You can see a link to our notion at the bottom of the README for tasks that are being worked on & need to be worked on
Dai transpiled from Solidity to Cairo with Warp 2.0 vs its hand-written Cairo counterpart. Efficiency is almost exactly the same, and the transpiled contract is 10KB smaller than the native one
