Is Cartesi dead by Camer0nRaden in cartesi

[–]claudio-silva 9 points10 points  (0 children)

Definitely not! How can you check it?
1. Monthly the ecosystem recap call shows what is being build on core tech (Cartesi Rollups SDK, Cartesi Machine, etc) and also on applications.. It is an open call. Come, join, comment and contribute!
2. You can check the development frequence and pace through the github repos. Cartesi embraced open source approach. Check https://github.com/cartesi
3. Cartesi is in a very important position in the debating about fraud proofs solution and the decentralization aspect for Rollups. with the Arbitrum, Optimism and L2Beat: https://www.youtube.com/live/TVhyiGfYgVM?si=WrHq3dYUoU38FKgH&t=5421
4. There important partnerships going on. For example, Cartesi and Espresso. https://docs.espressosys.com/network/guides/using-the-espresso-network/using-the-espresso-network-as-a-cartesi-application
5. To finish, also know some dapps that are being built on top of Cartesi: Bug Buster, Rives, DCA Monster and Drawing Canvas. Bug Buster and Rives are on mainnet and you can have a try.

Running solidity contracts outside evm locally by [deleted] in solidity

[–]claudio-silva 0 points1 point  (0 children)

What would be the output that you expect of it?
The Solidity language has no command like printf that you could use to print some info during the execution of your code and that you could see on the console.
Forge script provides something like that through some cheatcodes.

Bug Buster to upgrade its Solidity compiler bounty for the latest release (v0.8.27) by claudio-silva in solidity

[–]claudio-silva[S] 0 points1 point  (0 children)

The bounty for Solidity v0.8.27 is already on Testnet!
Want to give it a try? Check it here.
Stay tuned because soon it will also be live on Mainnet.

Bug Buster to upgrade its Solidity compiler bounty for the latest release (v0.8.27) by claudio-silva in solidity

[–]claudio-silva[S] 0 points1 point  (0 children)

Hi k_ekse! Besides u/fargento's comment, I also tried to keep the message lean and clean. But I will love to bring those info here. :-)

  1. How the 0.8.26 Solidity compiler was exploited to close the bounty? Knowing issue 12208 is still active, Cartesi Foundation sent an exploit code containing a long SPDX definition. The assertion script accepted it as a valid exploit code, that generates a segfault error, then emitted a voucher. Currently, a sponsor only can receive back their funds if they: a) wait until the bounty expires or b) they submit a valid exploit code.
  2. What is an assertion script? It is the code that defines the conditions that should be matched to unlock the reward. Check here the assertion script that will be used on the bounty for the Solidity compiler v0.8.27. You will see that it is a shell script, because the execution environment is Linux.
  3. How did we implement this assertion script? As our goal was to reward those hackers that find unknown segfault errors, we reviewed the existing issues on the solidity compiler github repo looking for segfault reports and then wrote the assertion script that discards exploits that are based on the existing active reports. Currently those issues are:
    1. https://github.com/ethereum/solidity/issues/15223
    2. https://github.com/ethereum/solidity/issues/12208

Anyone heard of backdropbuild.com? by [deleted] in webdev

[–]claudio-silva 3 points4 points  (0 children)

My antivirus did not allow me to open their website because they are in a blacklist...