Replying to bloblob

Hi, what are the limits of stwo prover?

Can it be used just for selected types of computations?
Avatar
A₿del fgu 11mo ago

No it can be used for any arbitrary computation written in Cairo. And Cairo is Turing complete so you can build almost anything with it.

Reply to this note

Please Login to reply.

Discussion

d5
bloblob 11mo ago

Ah just cairo.. Ok thanks

Avatar
A₿del fgu 11mo ago

But the same concept could be applied with other languages for example through provable RISC-V or WASM execution engine. It has some performance overhead but it’s doable.

We will consider Rust proving for STWO in the future