Contention-aware scheduler for Agave SVM. Continuous automated fuzz testing with 40M+ verified state transitions per CI session
-
Updated
Sep 30, 2026 - Rust
#
ultracore
Here are 3 public repositories matching this topic...
Research and engineering hub for invariant-preserving computation, deterministic runtime architecture, and formalized mathematics. Connects reproducible spectral results with blockchain infrastructure, runtime verification, and exploratory systems research within the RFT-SIRM programme.
rust distributed-systems research scheduler svm solana rft deterministic-runtime ultracore runtime-topology invariant-architecture
-
Updated
Nov 13, 2026 - C
On-chain institutional layer for Solana — O(1) supply distribution, SIRM invariant enforcement, 2.5B+ fuzz runs, 14 security findings addressed.
-
Updated
Oct 18, 2026 - TypeScript
Add this topic to your repo
To associate your repository with the ultracore topic, visit your repo's landing page and select "manage topics."