Back to milestones

Milestone 2

Open

Overdue by 1 year(s)

•

Due by April 11, 2025

•Last updated Apr 1, 2025

Instantiate our symbolic execution engine to the Solana semantics, to enable verification.
Build the kompass property-based testing formal verification/proof construction framework for Rust Solana smart contracts.
Conduct best-effort verification of a P-Token Solana program for demonstration at the Solana Developer Conference (May 2025).
Address memory modeling challenges in kmir, ensuring robust handling of program memory and execution traces.

0% complete

Select all issues: List view

There are no open issues in this milestone

Add issues to milestones to help organize your work for a particular release or project. Find and add issues with no milestones in this repo.