Verifiable Semantic Execution Layer
A formally verified execution layer where if a proof is accepted, the corresponding execution is semantically valid under a mechanized formal specification.
Popular repositories Loading
-
vsel-cairo-semantic-assurance
vsel-cairo-semantic-assurance PublicSemantic assurance toolkit for Cairo/STARK systems: invariant mapping, execution trace semantics, policy constraints, and semantic verification models for Starknet-oriented applications.
Repositories
Showing 2 of 2 repositories
- VSEL Public
A formally verified execution layer where if a proof is accepted, the corresponding execution is semantically valid under a mechanized formal specification.
Verifiable-Semantic-Execution-Layer/VSEL’s past year of commit activity - vsel-cairo-semantic-assurance Public
Semantic assurance toolkit for Cairo/STARK systems: invariant mapping, execution trace semantics, policy constraints, and semantic verification models for Starknet-oriented applications.
Verifiable-Semantic-Execution-Layer/vsel-cairo-semantic-assurance’s past year of commit activity
Top languages
Loading…
Most used topics
Loading…