fn init(env: soroban_sdk::Env, admin: soroban_sdk::Address)
fn admin(env: soroban_sdk::Env) -> soroban_sdk::Address
fn verify(
env: soroban_sdk::Env,
user: soroban_sdk::Address,
proof_hash: soroban_sdk::BytesN<32>,
proof_bytes: soroban_sdk::BytesN<32>,
program_hash: soroban_sdk::BytesN<32>,
public_inputs_hash: soroban_sdk::BytesN<32>,
metadata_hash: soroban_sdk::BytesN<32>,
public_inputs_preimage: soroban_sdk::Bytes,
proof_bytes_preimage: soroban_sdk::Bytes,
proof_hash_preimage: soroban_sdk::Bytes,
) -> bool
fn get_proof(
env: soroban_sdk::Env,
proof_hash: soroban_sdk::BytesN<32>,
) -> Option
fn is_verified(env: soroban_sdk::Env, proof_hash: soroban_sdk::BytesN<32>) -> bool
fn record_credit(
env: soroban_sdk::Env,
user: soroban_sdk::Address,
record_hash: soroban_sdk::BytesN<32>,
subject_hash: soroban_sdk::BytesN<32>,
metadata_hash: soroban_sdk::BytesN<32>,
amount: i128,
) -> AppRecord
fn get_app_record(
env: soroban_sdk::Env,
record_hash: soroban_sdk::BytesN<32>,
) -> Option
fn record_api_key(
env: soroban_sdk::Env,
user: soroban_sdk::Address,
record_hash: soroban_sdk::BytesN<32>,
subject_hash: soroban_sdk::BytesN<32>,
metadata_hash: soroban_sdk::BytesN<32>,
) -> AppRecord
fn record_session(
env: soroban_sdk::Env,
user: soroban_sdk::Address,
record_hash: soroban_sdk::BytesN<32>,
subject_hash: soroban_sdk::BytesN<32>,
metadata_hash: soroban_sdk::BytesN<32>,
) -> AppRecord
fn get_user_record(
env: soroban_sdk::Env,
user: soroban_sdk::Address,
index: u32,
) -> Option
fn record_api_usage(
env: soroban_sdk::Env,
user: soroban_sdk::Address,
record_hash: soroban_sdk::BytesN<32>,
subject_hash: soroban_sdk::BytesN<32>,
metadata_hash: soroban_sdk::BytesN<32>,
amount: i128,
) -> AppRecord
fn record_app_event(
env: soroban_sdk::Env,
user: soroban_sdk::Address,
kind: u32,
record_hash: soroban_sdk::BytesN<32>,
subject_hash: soroban_sdk::BytesN<32>,
metadata_hash: soroban_sdk::BytesN<32>,
amount: i128,
) -> AppRecord
fn user_record_count(env: soroban_sdk::Env, user: soroban_sdk::Address) -> u32
fn verify_and_submit(
env: soroban_sdk::Env,
user: soroban_sdk::Address,
proof_hash: soroban_sdk::BytesN<32>,
proof_bytes: soroban_sdk::BytesN<32>,
program_hash: soroban_sdk::BytesN<32>,
public_inputs_hash: soroban_sdk::BytesN<32>,
metadata_hash: soroban_sdk::BytesN<32>,
public_inputs_preimage: soroban_sdk::Bytes,
proof_bytes_preimage: soroban_sdk::Bytes,
proof_hash_preimage: soroban_sdk::Bytes,
) -> ProofReceipt
fn verify_groth16_bn254(
env: soroban_sdk::Env,
proof_a: soroban_sdk::BytesN<64>,
proof_b: soroban_sdk::BytesN<128>,
proof_c: soroban_sdk::BytesN<64>,
vk_alpha_g1: soroban_sdk::BytesN<64>,
vk_beta_g2: soroban_sdk::BytesN<128>,
vk_gamma_g2: soroban_sdk::BytesN<128>,
vk_delta_g2: soroban_sdk::BytesN<128>,
vk_ic: soroban_sdk::Vec>,
public_inputs: soroban_sdk::Vec>,
) -> bool
fn record_program_history(
env: soroban_sdk::Env,
user: soroban_sdk::Address,
record_hash: soroban_sdk::BytesN<32>,
subject_hash: soroban_sdk::BytesN<32>,
metadata_hash: soroban_sdk::BytesN<32>,
amount: i128,
) -> AppRecord
fn verify_groth16_bn254_and_submit(
env: soroban_sdk::Env,
user: soroban_sdk::Address,
proof_hash: soroban_sdk::BytesN<32>,
proof_bytes: soroban_sdk::BytesN<32>,
program_hash: soroban_sdk::BytesN<32>,
public_inputs_hash: soroban_sdk::BytesN<32>,
metadata_hash: soroban_sdk::BytesN<32>,
public_inputs_preimage: soroban_sdk::Bytes,
proof_bytes_preimage: soroban_sdk::Bytes,
proof_hash_preimage: soroban_sdk::Bytes,
proof_a: soroban_sdk::BytesN<64>,
proof_b: soroban_sdk::BytesN<128>,
proof_c: soroban_sdk::BytesN<64>,
vk_alpha_g1: soroban_sdk::BytesN<64>,
vk_beta_g2: soroban_sdk::BytesN<128>,
vk_gamma_g2: soroban_sdk::BytesN<128>,
vk_delta_g2: soroban_sdk::BytesN<128>,
vk_ic: soroban_sdk::Vec>,
public_inputs: soroban_sdk::Vec>,
) -> ProofReceipt