Skip to content
Back to milestones

Milestone 6

New issue
Open
Overdue by 2 month(s)
•
Due by June 19, 2026
•Last updated Apr 1, 2025
  • Enhance usability and performance of the formal verification framework based on early adopter feedback.
  • Provide ongoing maintenance of the symbolic execution and proof construction frameworks for 1 year.
  • Publish updates and technical reports to highlight new use cases and improvements.
  • Continue supporting developers with documentation updates and bug fixes.
  • Investigate deeper verification of memory handling challenges encountered in Solana smart contracts.
0% complete

List view

0 issues of 0 selected

    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.