Trait smartnoise_validator::components::Component

pub trait Component {
    fn propagate_property(
        &self, 
        privacy_definition: &Option<PrivacyDefinition>, 
        public_arguments: IndexMap<IndexKey, &Value>, 
        properties: NodeProperties, 
        _node_id: u32
    ) -> Result<Warnable<ValueProperties>>;
}

Universal Component trait

To be a component, a struct must represent an abstract computation, for which properties can be derived about the resulting data.

Required methods

fn propagate_property(
    &self,
    privacy_definition: &Option<PrivacyDefinition>,
    public_arguments: IndexMap<IndexKey, &Value>,
    properties: NodeProperties,
    _node_id: u32
) -> Result<Warnable<ValueProperties>>

Given properties known about private arguments, and public arguments, derive properties about the resulting data.

A component must fail to propagate properties if requirements on the input properties are not met. For example, if a Component represents an abstract computation that requires prior knowledge of the number of records to be safe or function properly, the propagate_property implementation is expected to return an error state if the prior knowledge is not known.

For example, if a definition of privacy is used that is incompatible with the abstract computation, the propagate_property implementation is expected to return an error state.

Arguments

• self - the protobuf object corresponding to the prost protobuf struct
• privacy_definition - the definition of privacy under which the computation takes place
• public_arguments - actual data values of arguments, typically either supplied literals or released values.
• properties - derived properties of private input arguments
• node_id - id of the node in the analysis graph (used to set dataset_id in the data loaders)

Returns

Derived properties on the data resulting from the abstract computation

Loading content...

Implementors

impl Component for Abs

fn propagate_property(
    &self,
    _privacy_definition: &Option<PrivacyDefinition>,
    _public_arguments: IndexMap<IndexKey, &Value>,
    properties: NodeProperties,
    _node_id: u32
) -> Result<Warnable<ValueProperties>>

impl Component for Add

fn propagate_property(
    &self,
    _privacy_definition: &Option<PrivacyDefinition>,
    _public_arguments: IndexMap<IndexKey, &Value>,
    properties: NodeProperties,
    node_id: u32
) -> Result<Warnable<ValueProperties>>

impl Component for And

fn propagate_property(
    &self,
    _privacy_definition: &Option<PrivacyDefinition>,
    _public_arguments: IndexMap<IndexKey, &Value>,
    properties: NodeProperties,
    _node_id: u32
) -> Result<Warnable<ValueProperties>>

impl Component for Cast

fn propagate_property(
    &self,
    _privacy_definition: &Option<PrivacyDefinition>,
    public_arguments: IndexMap<IndexKey, &Value>,
    properties: NodeProperties,
    _node_id: u32
) -> Result<Warnable<ValueProperties>>

impl Component for Clamp

fn propagate_property(
    &self,
    _privacy_definition: &Option<PrivacyDefinition>,
    public_arguments: IndexMap<IndexKey, &Value>,
    properties: NodeProperties,
    _node_id: u32
) -> Result<Warnable<ValueProperties>>

impl Component for ColumnBind

fn propagate_property(
    &self,
    _privacy_definition: &Option<PrivacyDefinition>,
    _public_arguments: IndexMap<IndexKey, &Value>,
    properties: NodeProperties,
    node_id: u32
) -> Result<Warnable<ValueProperties>>

impl Component for Component

fn propagate_property(
    &self,
    privacy_definition: &Option<PrivacyDefinition>,
    public_arguments: IndexMap<IndexKey, &Value>,
    properties: NodeProperties,
    node_id: u32
) -> Result<Warnable<ValueProperties>>

Utility implementation on the component.

This utility delegates evaluation to the concrete implementation of each component variant.

impl Component for Count

fn propagate_property(
    &self,
    _privacy_definition: &Option<PrivacyDefinition>,
    _public_arguments: IndexMap<IndexKey, &Value>,
    properties: NodeProperties,
    node_id: u32
) -> Result<Warnable<ValueProperties>>

impl Component for Covariance

fn propagate_property(
    &self,
    _privacy_definition: &Option<PrivacyDefinition>,
    _public_arguments: IndexMap<IndexKey, &Value>,
    properties: NodeProperties,
    node_id: u32
) -> Result<Warnable<ValueProperties>>

impl Component for Digitize

fn propagate_property(
    &self,
    _privacy_definition: &Option<PrivacyDefinition>,
    public_arguments: IndexMap<IndexKey, &Value>,
    properties: NodeProperties,
    _node_id: u32
) -> Result<Warnable<ValueProperties>>

impl Component for Divide

fn propagate_property(
    &self,
    _privacy_definition: &Option<PrivacyDefinition>,
    _public_arguments: IndexMap<IndexKey, &Value>,
    properties: NodeProperties,
    node_id: u32
) -> Result<Warnable<ValueProperties>>

impl Component for DpGumbelMedian

fn propagate_property(
    &self,
    _privacy_definition: &Option<PrivacyDefinition>,
    _public_arguments: IndexMap<IndexKey, &Value>,
    properties: NodeProperties,
    node_id: u32
) -> Result<Warnable<ValueProperties>>

impl Component for Equal

fn propagate_property(
    &self,
    _privacy_definition: &Option<PrivacyDefinition>,
    _public_arguments: IndexMap<IndexKey, &Value>,
    properties: NodeProperties,
    node_id: u32
) -> Result<Warnable<ValueProperties>>

impl Component for ExponentialMechanism

fn propagate_property(
    &self,
    privacy_definition: &Option<PrivacyDefinition>,
    _public_arguments: IndexMap<IndexKey, &Value>,
    properties: NodeProperties,
    node_id: u32
) -> Result<Warnable<ValueProperties>>

impl Component for Filter

fn propagate_property(
    &self,
    _privacy_definition: &Option<PrivacyDefinition>,
    _public_arguments: IndexMap<IndexKey, &Value>,
    properties: NodeProperties,
    node_id: u32
) -> Result<Warnable<ValueProperties>>

impl Component for GaussianMechanism

fn propagate_property(
    &self,
    privacy_definition: &Option<PrivacyDefinition>,
    _public_arguments: IndexMap<IndexKey, &Value>,
    properties: NodeProperties,
    _node_id: u32
) -> Result<Warnable<ValueProperties>>

impl Component for GreaterThan

fn propagate_property(
    &self,
    _privacy_definition: &Option<PrivacyDefinition>,
    _public_arguments: IndexMap<IndexKey, &Value>,
    properties: NodeProperties,
    node_id: u32
) -> Result<Warnable<ValueProperties>>

impl Component for Histogram

fn propagate_property(
    &self,
    _privacy_definition: &Option<PrivacyDefinition>,
    _public_arguments: IndexMap<IndexKey, &Value>,
    properties: NodeProperties,
    node_id: u32
) -> Result<Warnable<ValueProperties>>

impl Component for Impute

fn propagate_property(
    &self,
    _privacy_definition: &Option<PrivacyDefinition>,
    public_arguments: IndexMap<IndexKey, &Value>,
    properties: NodeProperties,
    _node_id: u32
) -> Result<Warnable<ValueProperties>>

impl Component for Index

fn propagate_property(
    &self,
    _privacy_definition: &Option<PrivacyDefinition>,
    public_arguments: IndexMap<IndexKey, &Value>,
    properties: NodeProperties,
    node_id: u32
) -> Result<Warnable<ValueProperties>>

impl Component for LaplaceMechanism

fn propagate_property(
    &self,
    privacy_definition: &Option<PrivacyDefinition>,
    _public_arguments: IndexMap<IndexKey, &Value>,
    properties: NodeProperties,
    _node_id: u32
) -> Result<Warnable<ValueProperties>>

impl Component for LessThan

fn propagate_property(
    &self,
    _privacy_definition: &Option<PrivacyDefinition>,
    _public_arguments: IndexMap<IndexKey, &Value>,
    properties: NodeProperties,
    node_id: u32
) -> Result<Warnable<ValueProperties>>

impl Component for Literal

fn propagate_property(
    &self,
    _privacy_definition: &Option<PrivacyDefinition>,
    _public_arguments: IndexMap<IndexKey, &Value>,
    _properties: NodeProperties,
    node_id: u32
) -> Result<Warnable<ValueProperties>>

impl Component for Log

fn propagate_property(
    &self,
    _privacy_definition: &Option<PrivacyDefinition>,
    _public_arguments: IndexMap<IndexKey, &Value>,
    properties: NodeProperties,
    _node_id: u32
) -> Result<Warnable<ValueProperties>>

impl Component for Materialize

fn propagate_property(
    &self,
    _privacy_definition: &Option<PrivacyDefinition>,
    public_arguments: IndexMap<IndexKey, &Value>,
    _properties: NodeProperties,
    node_id: u32
) -> Result<Warnable<ValueProperties>>

impl Component for Mean

fn propagate_property(
    &self,
    _privacy_definition: &Option<PrivacyDefinition>,
    _public_arguments: IndexMap<IndexKey, &Value>,
    properties: NodeProperties,
    node_id: u32
) -> Result<Warnable<ValueProperties>>

impl Component for Modulo

fn propagate_property(
    &self,
    _privacy_definition: &Option<PrivacyDefinition>,
    _public_arguments: IndexMap<IndexKey, &Value>,
    properties: NodeProperties,
    _node_id: u32
) -> Result<Warnable<ValueProperties>>

impl Component for Multiply

fn propagate_property(
    &self,
    _privacy_definition: &Option<PrivacyDefinition>,
    _public_arguments: IndexMap<IndexKey, &Value>,
    properties: NodeProperties,
    node_id: u32
) -> Result<Warnable<ValueProperties>>

impl Component for Negate

fn propagate_property(
    &self,
    _privacy_definition: &Option<PrivacyDefinition>,
    _public_arguments: IndexMap<IndexKey, &Value>,
    properties: NodeProperties,
    _node_id: u32
) -> Result<Warnable<ValueProperties>>

impl Component for Negative

fn propagate_property(
    &self,
    _privacy_definition: &Option<PrivacyDefinition>,
    _public_arguments: IndexMap<IndexKey, &Value>,
    properties: NodeProperties,
    _node_id: u32
) -> Result<Warnable<ValueProperties>>

impl Component for Or

fn propagate_property(
    &self,
    _privacy_definition: &Option<PrivacyDefinition>,
    _public_arguments: IndexMap<IndexKey, &Value>,
    properties: NodeProperties,
    _node_id: u32
) -> Result<Warnable<ValueProperties>>

impl Component for Partition

fn propagate_property(
    &self,
    privacy_definition: &Option<PrivacyDefinition>,
    public_arguments: IndexMap<IndexKey, &Value>,
    properties: NodeProperties,
    node_id: u32
) -> Result<Warnable<ValueProperties>>

impl Component for Power

fn propagate_property(
    &self,
    _privacy_definition: &Option<PrivacyDefinition>,
    _public_arguments: IndexMap<IndexKey, &Value>,
    properties: NodeProperties,
    _node_id: u32
) -> Result<Warnable<ValueProperties>>

impl Component for Quantile

fn propagate_property(
    &self,
    _privacy_definition: &Option<PrivacyDefinition>,
    public_arguments: IndexMap<IndexKey, &Value>,
    properties: NodeProperties,
    node_id: u32
) -> Result<Warnable<ValueProperties>>

impl Component for RawMoment

fn propagate_property(
    &self,
    _privacy_definition: &Option<PrivacyDefinition>,
    _public_arguments: IndexMap<IndexKey, &Value>,
    properties: NodeProperties,
    node_id: u32
) -> Result<Warnable<ValueProperties>>

impl Component for Reshape

fn propagate_property(
    &self,
    _privacy_definition: &Option<PrivacyDefinition>,
    _public_arguments: IndexMap<IndexKey, &Value>,
    properties: NodeProperties,
    node_id: u32
) -> Result<Warnable<ValueProperties>>

impl Component for Resize

fn propagate_property(
    &self,
    _privacy_definition: &Option<PrivacyDefinition>,
    public_arguments: IndexMap<IndexKey, &Value>,
    properties: NodeProperties,
    _node_id: u32
) -> Result<Warnable<ValueProperties>>

impl Component for RowMax

fn propagate_property(
    &self,
    _privacy_definition: &Option<PrivacyDefinition>,
    _public_arguments: IndexMap<IndexKey, &Value>,
    properties: NodeProperties,
    node_id: u32
) -> Result<Warnable<ValueProperties>>

impl Component for RowMin

fn propagate_property(
    &self,
    _privacy_definition: &Option<PrivacyDefinition>,
    _public_arguments: IndexMap<IndexKey, &Value>,
    properties: NodeProperties,
    node_id: u32
) -> Result<Warnable<ValueProperties>>

impl Component for SimpleGeometricMechanism

fn propagate_property(
    &self,
    privacy_definition: &Option<PrivacyDefinition>,
    _public_arguments: IndexMap<IndexKey, &Value>,
    properties: NodeProperties,
    _node_id: u32
) -> Result<Warnable<ValueProperties>>

impl Component for SnappingMechanism

fn propagate_property(
    &self,
    privacy_definition: &Option<PrivacyDefinition>,
    _public_arguments: IndexMap<IndexKey, &Value>,
    properties: NodeProperties,
    _node_id: u32
) -> Result<Warnable<ValueProperties>>

impl Component for Subtract

fn propagate_property(
    &self,
    _privacy_definition: &Option<PrivacyDefinition>,
    _public_arguments: IndexMap<IndexKey, &Value>,
    properties: NodeProperties,
    node_id: u32
) -> Result<Warnable<ValueProperties>>

impl Component for Sum

fn propagate_property(
    &self,
    _privacy_definition: &Option<PrivacyDefinition>,
    _public_arguments: IndexMap<IndexKey, &Value>,
    properties: NodeProperties,
    node_id: u32
) -> Result<Warnable<ValueProperties>>

impl Component for TheilSen

fn propagate_property(
    &self,
    _privacy_definition: &Option<PrivacyDefinition>,
    _public_arguments: IndexMap<IndexKey, &Value>,
    properties: NodeProperties,
    node_id: u32
) -> Result<Warnable<ValueProperties>>

impl Component for ToDataframe

fn propagate_property(
    &self,
    _privacy_definition: &Option<PrivacyDefinition>,
    public_arguments: IndexMap<IndexKey, &Value>,
    properties: NodeProperties,
    _node_id: u32
) -> Result<Warnable<ValueProperties>>

impl Component for Union

fn propagate_property(
    &self,
    _privacy_definition: &Option<PrivacyDefinition>,
    _public_arguments: IndexMap<IndexKey, &Value>,
    properties: NodeProperties,
    node_id: u32
) -> Result<Warnable<ValueProperties>>

impl Component for Variance

fn propagate_property(
    &self,
    _privacy_definition: &Option<PrivacyDefinition>,
    _public_arguments: IndexMap<IndexKey, &Value>,
    properties: NodeProperties,
    node_id: u32
) -> Result<Warnable<ValueProperties>>

Loading content...