CircuitString
Extends
- {
"values"
:Character
[]; }
Constructors
new CircuitString()
new CircuitString(value: {
"values": Character[];
}): CircuitString
Parameters
• value
• value.values: Character
[]
Returns
Inherited from
Struct(RawCircuitString).constructor
Source
lib/provable/types/struct.ts:148
Properties
values
values: Character[];
Inherited from
Struct(RawCircuitString).values
Source
_isStruct
static _isStruct: true;
Inherited from
Struct(RawCircuitString)._isStruct
Source
lib/provable/types/struct.ts:148
check()
static check: (value: {
"values": Character[];
}) => void;
Add assertions to the proof to check if value
is a valid member of type T
.
This function does not return anything, instead it creates any number of assertions to prove that value
is a valid member of the type T
.
For instance, calling check function on the type Bool asserts that the value of the element is either 1 or 0.
Parameters
• value
the element of type T
to put assertions on.
• value.values: Character
[]
Returns
void
Inherited from
Struct(RawCircuitString).check
Source
lib/provable/types/provable-intf.ts:76
empty()
static empty: () => {
"values": Character[];
};
Returns
{
"values": Character[];
}
values
values: Character[];
Inherited from
Struct(RawCircuitString).empty
Source
lib/provable/types/struct.ts:158
fromFields()
static fromFields: (fields: Field[]) => {
"values": Character[];
};