Security-first upgrade intelligence
for Solana programs.
Catch upgrade risk, security gaps, and layout drift before you deploy.
[EPIC] Running 5 active verification rules...
[EPIC-SEC-001] Size Boundary Check ............. OK
[EPIC-SEC-002] Account Owner Constraint ........ OK
[EPIC-SEC-003] Upgrade Authority Validation .... OK
[EPIC-SEC-004] Struct Offset Alignment ......... OK
[EPIC-SEC-005] Slot Constraints Validation ...... OK
[EPIC] SUCCESS: All security and layout checks passed.
Designed for Protocol Security
Technical readiness checks targeting the specific structures that trigger Solana program deployment failures.
Upgrade Intelligence
Simulated against mainnet state, before release.
GitHub Actions PR Gate
Layout shift, caught at the PR.
Native CLI
Runs inside your local build.
CLI Reference Demo
Run Verification Locally
Run it before CI does.
Security Rules Library
EPIC Verification Rules
Active rules verifying upgrade readiness.
Account Layout Allocation & Resize Checks
Asserts realloc size boundary checks.
Missing Struct Discriminant Modification
Protects struct field byte offsets.
Unauthorized Program Upgrade Authority Gate
Locks authority to governance multisigs.
Struct Memory Offset Alignment Verification
Enforces memory structural byte alignment.
Slot Dependency Integration Validation
Verifies slot dependency synchronization boundaries.
Rules database scales automatically as new threats are verified.
GitHub Actions PR Gate
Automate upgrade checks in pull request pipelines to intercept backwards-incompatible binaries.
- Layout Shift InterceptionsVerify structural alignment against live mainnet states.
- Access ChecksEnforce deployment authority rules targeting governance multisigs.
- Automated FeedbackPost layout schema reports directly to pull request comments.
name: EPIC Verification
on:
pull_request:
branches: [ main ]
jobs:
epic-check:
runs-on: ubuntu-latest
steps:
- name: Checkout Code
uses: actions/checkout@v3
- name: Run EPIC CLI Gate
uses: solana-epic/action@v1
with:
binary: target/deploy/vault.so
expected-authority: ${{ secrets.MULTISIG_PDA }}Install EPIC Gateway
Install the CLI globally to verify Rust build targets and anchor structures.
Assert CLI version
Confirm that the shell resolves the binary gateway correctly.
$ epic --versionRun local safety scans
Audit compiled program binaries against target security rules.
$ epic audit --binary target/deploy/my_program.soMilestones & Goals
Development Roadmap
Product release pipeline focused on building stable verification primitives.
- •Core compilation auditor package (@solana-epic/cli).
- •Validation rules for EPIC-SEC-001 through 005.
- •Reallocation memory bounds analyzer (epic check --space).
- •Pre-flight upgrade simulations on local mainnet forks.
- •GitHub Actions pipeline validation and comment outputs.
- •Deterministic upgrade readiness certificate generation.
- •Squads multisig upgrade verification dashboard.
- •Upgrade authority PDA lock constraints checks.
- •Security rules extension covering rent-exemption logic.