Class CompactSparseMerkleProof

Proof for compact sparse merkle tree

Hierarchy

{
    nonMembershipLeafData: Field[];
    root: Field;
    siblingData: Field[];
    sideNodes: Field[];
}
- CompactSparseMerkleProof

Index

Constructors

Properties

nonMembershipLeafData root siblingData sideNodes _isStruct check fromFields fromJSON toAuxiliary toFields toInput toJSON

Methods

sizeInFields

Constructors

constructor

new CompactSparseMerkleProof(value: {
    nonMembershipLeafData: Field[];
    root: Field;
    siblingData: Field[];
    sideNodes: Field[];
}): CompactSparseMerkleProof
Parameters
- value: {
      nonMembershipLeafData: Field[];
      root: Field;
      siblingData: Field[];
      sideNodes: Field[];
  }
  - nonMembershipLeafData: Field[]
  - root: Field
  - siblingData: Field[]
  - sideNodes: Field[]
Returns CompactSparseMerkleProof
Overrides Struct({ sideNodes: Circuit.array(Field, CSMT_DEPTH), nonMembershipLeafData: Circuit.array(Field, 3), siblingData: Circuit.array(Field, 3), root: Field, }).constructor
- Defined in src/lib/compact_smt/proofs.ts:37

Properties

nonMembershipLeafData

nonMembershipLeafData: Field[] = ...

root

root: Field = Field

siblingData

siblingData: Field[] = ...

sideNodes

sideNodes: Field[] = ...

`Static` _isStruct

_isStruct: true

`Static` check

check: ((x: {
    nonMembershipLeafData: Field[];
    root: Field;
    siblingData: Field[];
    sideNodes: Field[];
}) => void)

Type declaration

- (x: {
      nonMembershipLeafData: Field[];
      root: Field;
      siblingData: Field[];
      sideNodes: Field[];
  }): void
- Parameters
  - x: {
        nonMembershipLeafData: Field[];
        root: Field;
        siblingData: Field[];
        sideNodes: Field[];
    }
    - nonMembershipLeafData: Field[]
    - root: Field
    - siblingData: Field[]
    - sideNodes: Field[]
  Returns void

`Static` fromFields

fromFields: ((x: Field[]) => {
    nonMembershipLeafData: Field[];
    root: Field;
    siblingData: Field[];
    sideNodes: Field[];
})

Type declaration

- (x: Field[]): {
      nonMembershipLeafData: Field[];
      root: Field;
      siblingData: Field[];
      sideNodes: Field[];
  }
- Parameters
  - x: Field[]
  Returns {
      nonMembershipLeafData: Field[];
      root: Field;
      siblingData: Field[];
      sideNodes: Field[];
  }
  - nonMembershipLeafData: Field[]
  - root: Field
  - siblingData: Field[]
  - sideNodes: Field[]

`Static` fromJSON

fromJSON: ((x: {
    nonMembershipLeafData: string[];
    root: string;
    siblingData: string[];
    sideNodes: string[];
}) => {
    nonMembershipLeafData: Field[];
    root: Field;
    siblingData: Field[];
    sideNodes: Field[];
})

Type declaration

- (x: {
      nonMembershipLeafData: string[];
      root: string;
      siblingData: string[];
      sideNodes: string[];
  }): {
      nonMembershipLeafData: Field[];
      root: Field;
      siblingData: Field[];
      sideNodes: Field[];
  }
- Parameters
  - x: {
        nonMembershipLeafData: string[];
        root: string;
        siblingData: string[];
        sideNodes: string[];
    }
    - nonMembershipLeafData: string[]
    - root: string
    - siblingData: string[]
    - sideNodes: string[]
  Returns {
      nonMembershipLeafData: Field[];
      root: Field;
      siblingData: Field[];
      sideNodes: Field[];
  }
  - nonMembershipLeafData: Field[]
  - root: Field
  - siblingData: Field[]
  - sideNodes: Field[]

`Static` toAuxiliary

toAuxiliary: ((x?: {
    nonMembershipLeafData: Field[];
    root: Field;
    siblingData: Field[];
    sideNodes: Field[];
}) => [])

Type declaration

- (x?: {
      nonMembershipLeafData: Field[];
      root: Field;
      siblingData: Field[];
      sideNodes: Field[];
  }): []
- Parameters
  - Optional x: {
        nonMembershipLeafData: Field[];
        root: Field;
        siblingData: Field[];
        sideNodes: Field[];
    }
    - nonMembershipLeafData: Field[]
    - root: Field
    - siblingData: Field[]
    - sideNodes: Field[]
  Returns []

`Static` toFields

toFields: ((x: {
    nonMembershipLeafData: Field[];
    root: Field;
    siblingData: Field[];
    sideNodes: Field[];
}) => Field[])

Type declaration

- (x: {
      nonMembershipLeafData: Field[];
      root: Field;
      siblingData: Field[];
      sideNodes: Field[];
  }): Field[]
- Parameters
  - x: {
        nonMembershipLeafData: Field[];
        root: Field;
        siblingData: Field[];
        sideNodes: Field[];
    }
    - nonMembershipLeafData: Field[]
    - root: Field
    - siblingData: Field[]
    - sideNodes: Field[]
  Returns Field[]

`Static` toInput

toInput: ((x: {
    nonMembershipLeafData: Field[];
    root: Field;
    siblingData: Field[];
    sideNodes: Field[];
}) => {
    fields?: Field[];
    packed?: [Field, number][];
})

Type declaration

- (x: {
      nonMembershipLeafData: Field[];
      root: Field;
      siblingData: Field[];
      sideNodes: Field[];
  }): {
      fields?: Field[];
      packed?: [Field, number][];
  }
- Parameters
  - x: {
        nonMembershipLeafData: Field[];
        root: Field;
        siblingData: Field[];
        sideNodes: Field[];
    }
    - nonMembershipLeafData: Field[]
    - root: Field
    - siblingData: Field[]
    - sideNodes: Field[]
  Returns {
  fields?: Field[];
  packed?: [Field, number][];
  }
  - Optional fields?: Field[]
  - Optional packed?: [Field, number][]

`Static` toJSON

toJSON: ((x: {
    nonMembershipLeafData: Field[];
    root: Field;
    siblingData: Field[];
    sideNodes: Field[];
}) => {
    nonMembershipLeafData: string[];
    root: string;
    siblingData: string[];
    sideNodes: string[];
})

Type declaration

- (x: {
      nonMembershipLeafData: Field[];
      root: Field;
      siblingData: Field[];
      sideNodes: Field[];
  }): {
      nonMembershipLeafData: string[];
      root: string;
      siblingData: string[];
      sideNodes: string[];
  }
- Parameters
  - x: {
        nonMembershipLeafData: Field[];
        root: Field;
        siblingData: Field[];
        sideNodes: Field[];
    }
    - nonMembershipLeafData: Field[]
    - root: Field
    - siblingData: Field[]
    - sideNodes: Field[]
  Returns {
      nonMembershipLeafData: string[];
      root: string;
      siblingData: string[];
      sideNodes: string[];
  }
  - nonMembershipLeafData: string[]
  - root: string
  - siblingData: string[]
  - sideNodes: string[]

Methods

`Static` sizeInFields

sizeInFields(): number
Returns number
Inherited from Struct({ sideNodes: Circuit.array(Field, CSMT_DEPTH), nonMembershipLeafData: Circuit.array(Field, 3), siblingData: Circuit.array(Field, 3), root: Field, }).sizeInFields
- Defined in node_modules/snarkyjs/dist/node/snarky.d.ts:49

Class CompactSparseMerkleProof

Hierarchy

Index

Constructors

Properties

Methods

Constructors

constructor

Parameters

value: { nonMembershipLeafData: Field[]; root: Field; siblingData: Field[]; sideNodes: Field[]; }

nonMembershipLeafData: Field[]

root: Field

siblingData: Field[]

sideNodes: Field[]

Returns CompactSparseMerkleProof

Properties

nonMembershipLeafData

root

siblingData

sideNodes

Static _isStruct

Static check

Type declaration

Parameters

x: { nonMembershipLeafData: Field[]; root: Field; siblingData: Field[]; sideNodes: Field[]; }

nonMembershipLeafData: Field[]

root: Field

siblingData: Field[]

sideNodes: Field[]

Returns void

Static fromFields

Type declaration

Parameters

x: Field[]

Returns { nonMembershipLeafData: Field[]; root: Field; siblingData: Field[]; sideNodes: Field[]; }

nonMembershipLeafData: Field[]

root: Field

siblingData: Field[]

sideNodes: Field[]

Static fromJSON

Type declaration

Parameters

x: { nonMembershipLeafData: string[]; root: string; siblingData: string[]; sideNodes: string[]; }

nonMembershipLeafData: string[]

root: string

siblingData: string[]

sideNodes: string[]

Returns { nonMembershipLeafData: Field[]; root: Field; siblingData: Field[]; sideNodes: Field[]; }

nonMembershipLeafData: Field[]

root: Field

siblingData: Field[]

sideNodes: Field[]

Static toAuxiliary

Type declaration

Parameters

Optional x: { nonMembershipLeafData: Field[]; root: Field; siblingData: Field[]; sideNodes: Field[]; }

nonMembershipLeafData: Field[]

root: Field

siblingData: Field[]

sideNodes: Field[]

Returns []

Static toFields

Type declaration

Parameters

x: { nonMembershipLeafData: Field[]; root: Field; siblingData: Field[]; sideNodes: Field[]; }

nonMembershipLeafData: Field[]

root: Field

siblingData: Field[]

sideNodes: Field[]

Returns Field[]

Static toInput

Type declaration

Parameters

x: { nonMembershipLeafData: Field[]; root: Field; siblingData: Field[]; sideNodes: Field[]; }

nonMembershipLeafData: Field[]

root: Field

siblingData: Field[]

sideNodes: Field[]

Returns { fields?: Field[]; packed?: [Field, number][]; }

Optional fields?: Field[]

value: {
nonMembershipLeafData: Field[];
root: Field;
siblingData: Field[];
sideNodes: Field[];
}

`Static` _isStruct

`Static` check

x: {
nonMembershipLeafData: Field[];
root: Field;
siblingData: Field[];
sideNodes: Field[];
}

`Static` fromFields

Returns {
nonMembershipLeafData: Field[];
root: Field;
siblingData: Field[];
sideNodes: Field[];
}

`Static` fromJSON

x: {
nonMembershipLeafData: string[];
root: string;
siblingData: string[];
sideNodes: string[];
}

Returns {
nonMembershipLeafData: Field[];
root: Field;
siblingData: Field[];
sideNodes: Field[];
}

`Static` toAuxiliary

`Optional` x: {
nonMembershipLeafData: Field[];
root: Field;
siblingData: Field[];
sideNodes: Field[];
}

`Static` toFields

x: {
nonMembershipLeafData: Field[];
root: Field;
siblingData: Field[];
sideNodes: Field[];
}

`Static` toInput

x: {
nonMembershipLeafData: Field[];
root: Field;
siblingData: Field[];
sideNodes: Field[];
}

Returns {
fields?: Field[];
packed?: [Field, number][];
}

`Optional` fields?: Field[]

`Optional` packed?: [Field, number][]

`Static` toJSON

x: {
nonMembershipLeafData: Field[];
root: Field;
siblingData: Field[];
sideNodes: Field[];
}

Returns {
nonMembershipLeafData: string[];
root: string;
siblingData: string[];
sideNodes: string[];
}

`Static` sizeInFields