Replying to Avatar A₿del fgu

Bitcoin + Nostr + ZK is the Holy Trinity of Freedom Tech.

Unstoppable money + Freedom of Speech + Integrity Web (through Verifiable Computation) basically.

This can and will change the world inevitably.

#Bitcoin #ZK #Nostr #FreedomTech
d5
bloblob 11mo ago

Hi, what are the limits of stwo prover?

Can it be used just for selected types of computations?

Reply to this note

Please Login to reply.

Discussion

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.

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