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

Reply to this note

Please Login to reply.

Discussion

Hi, what are the limits of stwo prover?

Can it be used just for selected types of computations?

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.

Ah just cairo.. Ok thanks

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

OP_CAT 🙏

nostr:note1p6fjm2wxn5xkjpleq2ucdjs07gnufqqz09myhh3fruuetgr655cqzta9x6