Developing ZK apps often requires out-of-the-box thinking in order to find the best solutions. This year at StarknetCC, Grzegorz Świrski will prove it's true by showing how using "hints", which point dapps towards out-of-the-chain data & processing power, can greatly reduce gas costs.

Recently we collaborated with Reilabs to support hints and to build a stark native vrf, reducing the cost of random numbers by 1000x vs existing solutions We've also begun implementation of a hypervisor (more next) and support for operating Katanas in TEEs

We're proud to be a part of this project. Great progress, Team Miden! Miden leaves no stones unturned. A little story about making the prover fast on Amazon CPUs: reilabs.io/blog/2023-gold…

Huge news for verifiable games on Starknet (BTCFi arc)! Congrats on the launch Cartridge & tarrence ⛩️.

Don't miss Matej Penciak's talk on Lampe at zkSummit! This new tool makes formal verification accessible for ZK developers by verifying Noir programs at the semantic level. Perfect for anyone wanting to ensure their ZK implementations are secure without diving into low-level

Shedding 💡 on Noir with Lampe Join Marcin Kostrzewa, CEO of Reilabs, for a workshop at NoirCon 2 on formal verification in Noir. What you’ll learn: 🔹 The role of formal verification in securing cryptographic systems & smart contracts 🔹 Why most tools focus on low-level

At last month's summit, Matej Penciak gives a talk on Lampe! This new tool makes formal verification accessible for ZK developers by verifying Noir programs at the semantic level. youtube.com/watch?v=Zd3Y2H…

We've been cooking something special for the past few months. Noir is about to become the most secure ecosystem in ZK with Lampe – our custom made formal verification framework. Check out Marcin Kostrzewa's talk at NoirCon2 to learn more. Who's in?