Struct JsProofEnv 

pub struct JsProofEnv { /* private fields */ }

Proof environment for the browser. Wraps ProofEnvironment + ultra caches.

Implementations

impl JsProofEnv

pub fn new() -> Self

Create a new proof environment with all optimizations.

pub fn prove_dim_eq( &mut self, expected: u32, actual: u32, ) -> Result<u32, JsError>

Prove that two dimensions are equal. Returns proof term ID.

Throws if dimensions don’t match.

pub fn mk_vector_type(&mut self, dim: u32) -> Result<u32, JsError>

Build a RuVec n type term. Returns term ID.

pub fn mk_distance_metric(&mut self, metric: &str) -> Result<u32, JsError>

Build a distance metric type term. Supported: “L2”, “Cosine”, “Dot”.

pub fn verify_dim_check( &mut self, index_dim: u32, vector: &[f32], ) -> Result<u32, JsError>

Verify that a single vector has the expected dimension.

pub fn verify_batch_flat( &mut self, dim: u32, flat_vectors: &[f32], ) -> Result<u32, JsError>

Verify a batch of vectors (passed as flat f32 array + dimension).

flat_vectors is a contiguous f32 array; each vector is dim elements. Returns the number of vectors verified.

pub fn arena_intern(&self, hash_hi: u32, hash_lo: u32) -> Vec<u32>

Intern a hash into the FastTermArena. Returns [term_id, was_cached].

pub fn route_proof(&self, kind: &str) -> Result<JsValue, JsError>

Route a proof to the cheapest tier. Returns tier name.

pub fn create_attestation(&self, proof_id: u32) -> Result<JsValue, JsError>

Create a proof attestation (82 bytes). Returns serializable object.

pub fn stats(&self) -> Result<JsValue, JsError>

Get verification statistics.

pub fn reset(&mut self)

Reset the environment (clears cache, resets counters, re-registers builtins).

pub fn terms_allocated(&self) -> u32

Number of terms currently allocated.

Trait Implementations

impl From<JsProofEnv> for JsValue

fn from(value: JsProofEnv) -> Self

Converts to this type from the input type.

impl FromWasmAbi for JsProofEnv

type Abi = u32

The Wasm ABI type that this converts from when coming back out from the ABI boundary.

unsafe fn from_abi(js: u32) -> Self

Recover a Self from Self::Abi.

impl IntoWasmAbi for JsProofEnv

type Abi = u32

The Wasm ABI type that this converts into when crossing the ABI boundary.

fn into_abi(self) -> u32

Convert self into Self::Abi so that it can be sent across the wasm ABI boundary.

impl LongRefFromWasmAbi for JsProofEnv

type Abi = u32

Same as RefFromWasmAbi::Abi

type Anchor = RcRef<JsProofEnv>

Same as RefFromWasmAbi::Anchor

unsafe fn long_ref_from_abi(js: Self::Abi) -> Self::Anchor

Same as RefFromWasmAbi::ref_from_abi

impl OptionFromWasmAbi for JsProofEnv

fn is_none(abi: &Self::Abi) -> bool

Tests whether the argument is a “none” instance. If so it will be deserialized as None, and otherwise it will be passed to FromWasmAbi.

impl OptionIntoWasmAbi for JsProofEnv

fn none() -> Self::Abi

Returns an ABI instance indicating “none”, which JS will interpret as the None branch of this option.

impl RefFromWasmAbi for JsProofEnv

type Abi = u32

The Wasm ABI type references to Self are recovered from.

type Anchor = RcRef<JsProofEnv>

The type that holds the reference to Self for the duration of the invocation of the function that has an &Self parameter. This is required to ensure that the lifetimes don’t persist beyond one function call, and so that they remain anonymous.

unsafe fn ref_from_abi(js: Self::Abi) -> Self::Anchor

Recover a Self::Anchor from Self::Abi.

impl RefMutFromWasmAbi for JsProofEnv

type Abi = u32

Same as RefFromWasmAbi::Abi

type Anchor = RcRefMut<JsProofEnv>

Same as RefFromWasmAbi::Anchor

unsafe fn ref_mut_from_abi(js: Self::Abi) -> Self::Anchor

Same as RefFromWasmAbi::ref_from_abi

impl TryFromJsValue for JsProofEnv

fn try_from_js_value(value: JsValue) -> Result<Self, JsValue>

Performs the conversion.

fn try_from_js_value_ref(value: &JsValue) -> Option<Self>

Performs the conversion.

impl VectorFromWasmAbi for JsProofEnv

type Abi = <Box<[JsValue]> as FromWasmAbi>::Abi

unsafe fn vector_from_abi(js: Self::Abi) -> Box<[JsProofEnv]>

impl VectorIntoWasmAbi for JsProofEnv

type Abi = <Box<[JsValue]> as IntoWasmAbi>::Abi

fn vector_into_abi(vector: Box<[JsProofEnv]>) -> Self::Abi

impl WasmDescribe for JsProofEnv

fn describe()

impl WasmDescribeVector for JsProofEnv

fn describe_vector()

impl SupportsConstructor for JsProofEnv

impl SupportsInstanceProperty for JsProofEnv

impl SupportsStaticProperty for JsProofEnv