verified-anchor 0.1.1

Formally verified (Lean 4) account-validation runtime for Solana — Anchor-compatible, proof-producing.
Documentation
1
2
3
4
5
6
7
8
//! Recommended `use verified_anchor::prelude::*;` — gives users the typed
//! wrappers, traits, `Context`, and the derive macros in one import.

pub use crate::{
    account, Account, Accounts, AccountData, Context, Program, ProgramId,
    Signer, System, SystemAccount, UncheckedAccount, VAError, Validate, VerifiedAccounts,
};
pub use solana_program::account_info::AccountInfo;