Introducing OP Kailua: The easiest way for OP chains to integrate ZK 🌴

Choose between ZK Fraud or Validity Proofs depending on your needs.

Upgrade to ZK, at your own pace. https://t.co/NRHGPqBE60

RISC Zero is building the first formally verified RISC-V zkVM. 

Using @VeridiseInc's Picus tool, we're mathematically proving determinism in our circuits.

Our goal: A zkVM that’s both incredibly fast and provably secure, so developers never have to compromise. https://t.co/GbvCltzcV1

RISC Zero is about to hit unprecedented speeds. 

We are partnering with @IrreducibleHW to integrate Binius into the RISC Zero zkVM.

Accelerate. https://t.co/pUD9rSflGe

IRMYnRR

@ducmko