Pi Squared
HomeAbout UsCareersDeveloperResourcesBlog
  • Pi Squared
  • VSL Devnet
  • Pi Squared Docs
  • Verifiable Settlement Layer
    • Overview
    • Architecture
    • Applications
  • K Framework
    • Overview
    • Formal Semantics
  • LLVM-K Backend
  • Proof of Proof
    • Overview
  • Architecture
  • Math Proof Generation
  • Math Proof Checker
  • ZK Proof Generation
  • Applications
Powered by GitBook
On this page

Was this helpful?

  1. Glossary
  2. Canonical Terms

Universal Settlement Layer

A decentralized and permissionless network for submitting, validating, and settling computation claims for all programming languages and virtual machines

Last updated 9 months ago

Was this helpful?