Blog

zkLLVM update: Rust circuit compiler

A new extension to zkLLVM to enable developers with direct circuit compilation from Rust is available, in addition to C++ and ONNX

Danksharding for various protocols via =nil; Proof Market

Pluggable Scaling via Provable Queries

Mina-Ethereum State Proof Verification Applications

How would an in-EVM Mina state verification-based bridge work?

Solana-Ethereum Bridge Based on Light-Client State Proof Verification

How would a bridge built on top of that work?