Hacker News Reader

It looks very similar to rust, with some minor details like typed enums.

It would be nice to find a direct comparison between rust and cairo, and why writing contracts in cairo cannot be done with just a rust create.

View on HN

Cairo is written in such a way that the execution of a Cairo program can be proven by a zero-knowledge proof. So it optimizes for things that are easier to prove.

You can actually write zkps in pure Rust, but there's not currently any blockchain integration: https://github.com/risc0/risc0

Reply on news.ycombinator.com