Lagrange Labs Inc.

Generalizable, non-interactive, cross-chain state proofs. Interact among chains with cryptographically secured proofs, not bridges or messaging protocols.