Skip to main content

CompliancePublicInputs

Struct CompliancePublicInputs 

Source
pub struct CompliancePublicInputs {
Show 13 fields pub event_id: String, pub tenant_id: String, pub store_id: String, pub sequence_number: u64, pub payload_kind: u32, pub payload_plain_hash: String, pub payload_cipher_hash: String, pub event_signing_hash: String, pub policy_id: String, pub policy_hash: String, pub witness_commitment: Option<String>, pub authorization_receipt_hash: Option<String>, pub amount_binding_hash: Option<String>, /* private fields */
}
Expand description

Public inputs for compliance proof generation/verification

Fields§

§event_id: String

UUID of the event being proven

§tenant_id: String

Tenant ID

§store_id: String

Store ID

§sequence_number: u64

Sequence number of the event

§payload_kind: u32

Payload kind (event type discriminator)

§payload_plain_hash: String

SHA-256 hash of plaintext payload (hex64, lowercase)

§payload_cipher_hash: String

SHA-256 hash of ciphertext payload (hex64, lowercase)

§event_signing_hash: String

Event signing hash (hex64, lowercase)

§policy_id: String

Policy identifier (e.g., “aml.threshold”)

§policy_hash: String

Policy hash (hex64, lowercase)

§witness_commitment: Option<String>

Optional witness commitment (hex64, lowercase) to bind the proved witness to canonical inputs.

§authorization_receipt_hash: Option<String>

Optional authorization receipt hash (hex64, lowercase) committed into canonical public inputs.

§amount_binding_hash: Option<String>

Optional payload amount binding hash (hex64, lowercase) committed into canonical public inputs.

Implementations§

Source§

impl CompliancePublicInputs

Source

pub fn new( event_id: String, tenant_id: String, store_id: String, sequence_number: u64, payload_kind: u32, payload_plain_hash: String, payload_cipher_hash: String, event_signing_hash: String, policy_id: String, policy_params: &Bound<'_, PyDict>, policy_hash: String, witness_commitment: Option<String>, authorization_receipt_hash: Option<String>, amount_binding_hash: Option<String>, ) -> PyResult<Self>

Create new CompliancePublicInputs

Args: event_id: UUID of the event being proven tenant_id: Tenant ID store_id: Store ID sequence_number: Sequence number of the event payload_kind: Payload kind (event type discriminator) payload_plain_hash: SHA-256 hash of plaintext payload (hex64, lowercase) payload_cipher_hash: SHA-256 hash of ciphertext payload (hex64, lowercase) event_signing_hash: Event signing hash (hex64, lowercase) policy_id: Policy identifier (e.g., “aml.threshold”) policy_params: Policy parameters as dict policy_hash: Policy hash (hex64, lowercase) witness_commitment: Optional witness commitment (hex64, lowercase) authorization_receipt_hash: Optional authorization receipt hash (hex64, lowercase) amount_binding_hash: Optional payload amount binding hash (hex64, lowercase)

Source

pub fn policy_params(&self, py: Python<'_>) -> PyResult<PyObject>

Get policy parameters as a dict

Source

pub fn set_policy_params(&mut self, value: &Bound<'_, PyDict>) -> PyResult<()>

Set policy parameters from a dict

Trait Implementations§

Source§

impl IntoPy<Py<PyAny>> for CompliancePublicInputs

Source§

fn into_py(self, py: Python<'_>) -> PyObject

👎Deprecated since 0.23.0:

IntoPy is going to be replaced by IntoPyObject. See the migration guide (https://pyo3.rs/v0.23.0/migration) for more information.

Performs the conversion.
Source§

impl Clone for CompliancePublicInputs

Source§

fn clone(&self) -> CompliancePublicInputs

Returns a duplicate of the value. Read more
1.0.0 · Source§

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source. Read more
Source§

impl<'py> IntoPyObject<'py> for CompliancePublicInputs

Source§

type Target = CompliancePublicInputs

The Python output type
Source§

type Output = Bound<'py, <CompliancePublicInputs as IntoPyObject<'py>>::Target>

The smart pointer type to use. Read more
Source§

type Error = PyErr

The type returned in the event of a conversion error.
Source§

fn into_pyobject( self, py: Python<'py>, ) -> Result<<Self as IntoPyObject<'_>>::Output, <Self as IntoPyObject<'_>>::Error>

Performs the conversion.
Source§

impl PyClass for CompliancePublicInputs

Source§

type Frozen = False

Whether the pyclass is frozen. Read more
Source§

impl PyClassImpl for CompliancePublicInputs

Source§

const IS_BASETYPE: bool = false

#[pyclass(subclass)]
Source§

const IS_SUBCLASS: bool = false

#[pyclass(extends=…)]
Source§

const IS_MAPPING: bool = false

#[pyclass(mapping)]
Source§

const IS_SEQUENCE: bool = false

#[pyclass(sequence)]
Source§

type BaseType = PyAny

Base class
Source§

type ThreadChecker = SendablePyClass<CompliancePublicInputs>

This handles following two situations: Read more
Source§

type PyClassMutability = <<PyAny as PyClassBaseType>::PyClassMutability as PyClassMutability>::MutableChild

Immutable or mutable
Source§

type Dict = PyClassDummySlot

Specify this class has #[pyclass(dict)] or not.
Source§

type WeakRef = PyClassDummySlot

Specify this class has #[pyclass(weakref)] or not.
Source§

type BaseNativeType = PyAny

The closest native ancestor. This is PyAny by default, and when you declare #[pyclass(extends=PyDict)], it’s PyDict.
Source§

fn items_iter() -> PyClassItemsIter

Source§

fn doc(py: Python<'_>) -> PyResult<&'static CStr>

Rendered class doc
Source§

fn lazy_type_object() -> &'static LazyTypeObject<Self>

Source§

fn dict_offset() -> Option<isize>

Source§

fn weaklist_offset() -> Option<isize>

Source§

impl PyClassNewTextSignature<CompliancePublicInputs> for PyClassImplCollector<CompliancePublicInputs>

Source§

fn new_text_signature(self) -> Option<&'static str>

Source§

impl<'a, 'py> PyFunctionArgument<'a, 'py, false> for &'a CompliancePublicInputs

Source§

type Holder = Option<PyRef<'py, CompliancePublicInputs>>

Source§

fn extract( obj: &'a Bound<'py, PyAny>, holder: &'a mut Self::Holder, ) -> PyResult<Self>

Source§

impl<'a, 'py> PyFunctionArgument<'a, 'py, false> for &'a mut CompliancePublicInputs

Source§

type Holder = Option<PyRefMut<'py, CompliancePublicInputs>>

Source§

fn extract( obj: &'a Bound<'py, PyAny>, holder: &'a mut Self::Holder, ) -> PyResult<Self>

Source§

impl PyMethods<CompliancePublicInputs> for PyClassImplCollector<CompliancePublicInputs>

Source§

fn py_methods(self) -> &'static PyClassItems

Source§

impl PyTypeInfo for CompliancePublicInputs

Source§

const NAME: &'static str = "CompliancePublicInputs"

Class name.
Source§

const MODULE: Option<&'static str> = ::core::option::Option::None

Module name, if any.
Source§

fn type_object_raw(py: Python<'_>) -> *mut PyTypeObject

Returns the PyTypeObject instance for this type.
Source§

fn type_object(py: Python<'_>) -> Bound<'_, PyType>

Returns the safe abstraction over the type object.
Source§

fn type_object_bound(py: Python<'_>) -> Bound<'_, PyType>

👎Deprecated since 0.23.0:

renamed to PyTypeInfo::type_object

Deprecated name for PyTypeInfo::type_object.
Source§

fn is_type_of(object: &Bound<'_, PyAny>) -> bool

Checks if object is an instance of this type or a subclass of this type.
Source§

fn is_type_of_bound(object: &Bound<'_, PyAny>) -> bool

👎Deprecated since 0.23.0:

renamed to PyTypeInfo::is_type_of

Deprecated name for PyTypeInfo::is_type_of.
Source§

fn is_exact_type_of(object: &Bound<'_, PyAny>) -> bool

Checks if object is an instance of this type.
Source§

fn is_exact_type_of_bound(object: &Bound<'_, PyAny>) -> bool

👎Deprecated since 0.23.0:

renamed to PyTypeInfo::is_exact_type_of

Deprecated name for PyTypeInfo::is_exact_type_of.
Source§

impl DerefToPyAny for CompliancePublicInputs

Auto Trait Implementations§

Blanket Implementations§

Source§

impl<T> Any for T
where T: 'static + ?Sized,

Source§

fn type_id(&self) -> TypeId

Gets the TypeId of self. Read more
Source§

impl<T> Borrow<T> for T
where T: ?Sized,

Source§

fn borrow(&self) -> &T

Immutably borrows from an owned value. Read more
Source§

impl<T> BorrowMut<T> for T
where T: ?Sized,

Source§

fn borrow_mut(&mut self) -> &mut T

Mutably borrows from an owned value. Read more
Source§

impl<T> CloneToUninit for T
where T: Clone,

Source§

unsafe fn clone_to_uninit(&self, dest: *mut u8)

🔬This is a nightly-only experimental API. (clone_to_uninit)
Performs copy-assignment from self to dest. Read more
Source§

impl<T> From<T> for T

Source§

fn from(t: T) -> T

Returns the argument unchanged.

Source§

impl<T> FromPyObject<'_> for T
where T: PyClass + Clone,

Source§

fn extract_bound(obj: &Bound<'_, PyAny>) -> Result<T, PyErr>

Extracts Self from the bound smart pointer obj. Read more
Source§

impl<'py, T> FromPyObjectBound<'_, 'py> for T
where T: FromPyObject<'py>,

Source§

fn from_py_object_bound(ob: Borrowed<'_, 'py, PyAny>) -> Result<T, PyErr>

Extracts Self from the bound smart pointer obj. Read more
Source§

impl<T> Instrument for T

Source§

fn instrument(self, span: Span) -> Instrumented<Self>

Instruments this type with the provided Span, returning an Instrumented wrapper. Read more
Source§

fn in_current_span(self) -> Instrumented<Self>

Instruments this type with the current Span, returning an Instrumented wrapper. Read more
Source§

impl<T, U> Into<U> for T
where U: From<T>,

Source§

fn into(self) -> U

Calls U::from(self).

That is, this conversion is whatever the implementation of From<T> for U chooses to do.

Source§

impl<'py, T> IntoPyObjectExt<'py> for T
where T: IntoPyObject<'py>,

Source§

fn into_bound_py_any(self, py: Python<'py>) -> Result<Bound<'py, PyAny>, PyErr>

Converts self into an owned Python object, dropping type information.
Source§

fn into_py_any(self, py: Python<'py>) -> Result<Py<PyAny>, PyErr>

Converts self into an owned Python object, dropping type information and unbinding it from the 'py lifetime.
Source§

fn into_pyobject_or_pyerr(self, py: Python<'py>) -> Result<Self::Output, PyErr>

Converts self into a Python object. Read more
Source§

impl<T> PyErrArguments for T
where T: for<'py> IntoPyObject<'py> + Send + Sync,

Source§

fn arguments(self, py: Python<'_>) -> Py<PyAny>

Arguments for exception
Source§

impl<T> PyTypeCheck for T
where T: PyTypeInfo,

Source§

const NAME: &'static str = <T as PyTypeInfo>::NAME

Name of self. This is used in error messages, for example.
Source§

fn type_check(object: &Bound<'_, PyAny>) -> bool

Checks if object is an instance of Self, which may include a subtype. Read more
Source§

impl<T> Same for T

Source§

type Output = T

Should always be Self
Source§

impl<T> ToOwned for T
where T: Clone,

Source§

type Owned = T

The resulting type after obtaining ownership.
Source§

fn to_owned(&self) -> T

Creates owned data from borrowed data, usually by cloning. Read more
Source§

fn clone_into(&self, target: &mut T)

Uses borrowed data to replace owned data, usually by cloning. Read more
Source§

impl<T, U> TryFrom<U> for T
where U: Into<T>,

Source§

type Error = Infallible

The type returned in the event of a conversion error.
Source§

fn try_from(value: U) -> Result<T, <T as TryFrom<U>>::Error>

Performs the conversion.
Source§

impl<T, U> TryInto<U> for T
where U: TryFrom<T>,

Source§

type Error = <U as TryFrom<T>>::Error

The type returned in the event of a conversion error.
Source§

fn try_into(self) -> Result<U, <U as TryFrom<T>>::Error>

Performs the conversion.
Source§

impl<T> WithSubscriber for T

Source§

fn with_subscriber<S>(self, subscriber: S) -> WithDispatch<Self>
where S: Into<Dispatch>,

Attaches the provided Subscriber to this type, returning a WithDispatch wrapper. Read more
Source§

fn with_current_subscriber(self) -> WithDispatch<Self>

Attaches the current default Subscriber to this type, returning a WithDispatch wrapper. Read more
Source§

impl<T> Ungil for T
where T: Send,