🔐 New blog post: Since July 2024, we've worked closely with @RiscZero to raise the bar for zkVM security.

The result? Provable guarantees, and automated continuous verification — powered by our ZK tool, Picus 🧵

1/7