verified-anchor 0.1.2

Formally verified (Lean 4) account-validation runtime for Solana — Anchor-compatible, proof-producing.
Documentation
1
2
3
4
5
6
7
8
9
10
11
//! 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;
pub use solana_program::declare_id;
pub use solana_program::entrypoint::ProgramResult;
pub use solana_program::pubkey::Pubkey;