Blog

Danksharding for various protocols via =nil; Proof Market

Pluggable Scaling via Provable Queries

Bridging to StarkNet through =nil; Proof Market

Proving mainstream languages computations to StarkNet via zkLLVM with zkBridging as an example

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

How would a bridge built on top of that work?

=nil; Foundation's in-EVM Solana Light-Client State Verification

Paving the way to Solana-Ethereum zk-bridge