Cairo v. Solidity

Solidity is not an ideal language for provable computation and the ZKRollups use provable computation to prove that a transaction has been executed without re-running. This is a much more computationally efficient operation than the current solution on the Ethereum network that reruns transactions on every node.

Cairo has the following properties and more that make it a more ideal language for STARKs than Solidity:

However, Solidity is extremely well maintained and much easier to learn than Cairo, but what is the fun in that? Just something to keep in mind.

ㅤ This answer was originally posted on Triality

I think from a native point of view, cairo's zkEVM can do more than EVM, and you can even run machine learning models. But the learning curve is too steep, and the coding is very difficult

ㅤ This answer was originally posted on Triality