Anoma.RM.Transparent.Primitive.CommitmentAccumulator (Anoma v0.31.0)

I am the commitment accumulator module for the TRM.

I provide the basic interface to interact with the accumulators. The choice of the accumultor for the transparent case is just a set.

Public API

I provide the following public functionality:

Summary

Functions

add(acc, cm)

I am the commitment accumulator add function for the transparent resource machine.

value(acc)

I am the commitment accumulator value function for the transparent resource machine.

verify(cm, w, val)

I am the commitment accumulator verify function for the transparent resource machine.

witness(acc, cm)

I am the commitment accumulator witness function for the transparent resource machine.

Functions

Link to this function

add(acc, cm)

@spec add(MapSet.t(), integer()) :: MapSet.t()

I am the commitment accumulator add function for the transparent resource machine.

Given the commitment set, I add a commitment to it.

Link to this function

value(acc)

@spec value(MapSet.t()) :: integer()

I am the commitment accumulator value function for the transparent resource machine.

Link to this function

verify(cm, w, val)

@spec verify(integer(), MapSet.t(), integer()) :: boolean()

I am the commitment accumulator verify function for the transparent resource machine.

Given the commitment, a witness (i.e. a set) and an accumulator value, I output true iff the witness's value is the same as the provided value and the commitment is indeed in the set.

Link to this function

witness(acc, cm)

@spec witness(MapSet.t(), integer()) :: MapSet.t() | nil

I am the commitment accumulator witness function for the transparent resource machine.

Given the commitment set and a commitment, I return the original set if the commitment is a member of the former. Otherwise, I return nil