~/bend-docscommunity

proofs/kernel_weights_witness.bend checks

raw source on the hub · import stelliferous@0.0.2.0/proofs/kernel_weights_witness.bend as Kernel_weights_witness

6 imports
import Base
import ../kernel_weights.bend as Weights
import ../kernel_tile.bend as Tile
import ../storage_buffer.bend as Storage
import ./storage_witness.bend as Witness
import ./traversal_witness.bend as TraversalWitness

Definitions

def conditional source · line 9 · raw

@-input:Array<F32> -> @valid:Bool -> @+index:U32 -> @evidence:0x9be3b13bf249759bc81e1958bcd1a4c0/proofs/storage_witness.ArrayWitness<F32, input> -> 0x9be3b13bf249759bc81e1958bcd1a4c0/proofs/traversal_witness.Sample<Array<F32>, F32, input, 0x9be3b13bf249759bc81e1958bcd1a4c0/storage_buffer.read_when(F32, 0.0, valid, input, index)>

Missing rows are zero-filled without changing the source owner.

def eighth source · line 15 · raw

@-input:Array<F32> -> @-a:F32 -> @-b:F32 -> @-c:F32 -> @-d:F32 -> @-e:F32 -> @-f:F32 -> @-g:F32 -> @-result:Pair(Array<F32>, F32) -> @observed:0x9be3b13bf249759bc81e1958bcd1a4c0/proofs/traversal_witness.Sample<Array<F32>, F32, input, result> -> 0x9be3b13bf249759bc81e1958bcd1a4c0/proofs/traversal_witness.Sample<Array<F32>, 0x9be3b13bf249759bc81e1958bcd1a4c0/kernel_tile.Tile8, input, 0x9be3b13bf249759bc81e1958bcd1a4c0/kernel_weights.eighth(a, b, c, d, e, f, g, result)>

def seventh source · line 23 · raw

@+rows:U32 -> @+inner:U32 -> @+row:U32 -> @+index:U32 -> @-input:Array<F32> -> @-a:F32 -> @-b:F32 -> @-c:F32 -> @-d:F32 -> @-e:F32 -> @-f:F32 -> @-result:Pair(Array<F32>, F32) -> @observed:0x9be3b13bf249759bc81e1958bcd1a4c0/proofs/traversal_witness.Sample<Array<F32>, F32, input, result> -> @evidence:0x9be3b13bf249759bc81e1958bcd1a4c0/proofs/storage_witness.ArrayWitness<F32, input> -> 0x9be3b13bf249759bc81e1958bcd1a4c0/proofs/traversal_witness.Sample<Array<F32>, 0x9be3b13bf249759bc81e1958bcd1a4c0/kernel_tile.Tile8, input, 0x9be3b13bf249759bc81e1958bcd1a4c0/kernel_weights.seventh(rows, inner, row, index, a, b, c, d, e, f, result)>

def sixth source · line 32 · raw

@+rows:U32 -> @+inner:U32 -> @+row:U32 -> @+index:U32 -> @-input:Array<F32> -> @-a:F32 -> @-b:F32 -> @-c:F32 -> @-d:F32 -> @-e:F32 -> @-result:Pair(Array<F32>, F32) -> @observed:0x9be3b13bf249759bc81e1958bcd1a4c0/proofs/traversal_witness.Sample<Array<F32>, F32, input, result> -> @+evidence:0x9be3b13bf249759bc81e1958bcd1a4c0/proofs/storage_witness.ArrayWitness<F32, input> -> 0x9be3b13bf249759bc81e1958bcd1a4c0/proofs/traversal_witness.Sample<Array<F32>, 0x9be3b13bf249759bc81e1958bcd1a4c0/kernel_tile.Tile8, input, 0x9be3b13bf249759bc81e1958bcd1a4c0/kernel_weights.sixth(rows, inner, row, index, a, b, c, d, e, result)>

def fifth source · line 41 · raw

@+rows:U32 -> @+inner:U32 -> @+row:U32 -> @+index:U32 -> @-input:Array<F32> -> @-a:F32 -> @-b:F32 -> @-c:F32 -> @-d:F32 -> @-result:Pair(Array<F32>, F32) -> @observed:0x9be3b13bf249759bc81e1958bcd1a4c0/proofs/traversal_witness.Sample<Array<F32>, F32, input, result> -> @+evidence:0x9be3b13bf249759bc81e1958bcd1a4c0/proofs/storage_witness.ArrayWitness<F32, input> -> 0x9be3b13bf249759bc81e1958bcd1a4c0/proofs/traversal_witness.Sample<Array<F32>, 0x9be3b13bf249759bc81e1958bcd1a4c0/kernel_tile.Tile8, input, 0x9be3b13bf249759bc81e1958bcd1a4c0/kernel_weights.fifth(rows, inner, row, index, a, b, c, d, result)>

def fourth source · line 50 · raw

@+rows:U32 -> @+inner:U32 -> @+row:U32 -> @+index:U32 -> @-input:Array<F32> -> @-a:F32 -> @-b:F32 -> @-c:F32 -> @-result:Pair(Array<F32>, F32) -> @observed:0x9be3b13bf249759bc81e1958bcd1a4c0/proofs/traversal_witness.Sample<Array<F32>, F32, input, result> -> @+evidence:0x9be3b13bf249759bc81e1958bcd1a4c0/proofs/storage_witness.ArrayWitness<F32, input> -> 0x9be3b13bf249759bc81e1958bcd1a4c0/proofs/traversal_witness.Sample<Array<F32>, 0x9be3b13bf249759bc81e1958bcd1a4c0/kernel_tile.Tile8, input, 0x9be3b13bf249759bc81e1958bcd1a4c0/kernel_weights.fourth(rows, inner, row, index, a, b, c, result)>

def third source · line 59 · raw

@+rows:U32 -> @+inner:U32 -> @+row:U32 -> @+index:U32 -> @-input:Array<F32> -> @-a:F32 -> @-b:F32 -> @-result:Pair(Array<F32>, F32) -> @observed:0x9be3b13bf249759bc81e1958bcd1a4c0/proofs/traversal_witness.Sample<Array<F32>, F32, input, result> -> @+evidence:0x9be3b13bf249759bc81e1958bcd1a4c0/proofs/storage_witness.ArrayWitness<F32, input> -> 0x9be3b13bf249759bc81e1958bcd1a4c0/proofs/traversal_witness.Sample<Array<F32>, 0x9be3b13bf249759bc81e1958bcd1a4c0/kernel_tile.Tile8, input, 0x9be3b13bf249759bc81e1958bcd1a4c0/kernel_weights.third(rows, inner, row, index, a, b, result)>

def second source · line 68 · raw

@+rows:U32 -> @+inner:U32 -> @+row:U32 -> @+index:U32 -> @-input:Array<F32> -> @-a:F32 -> @-result:Pair(Array<F32>, F32) -> @observed:0x9be3b13bf249759bc81e1958bcd1a4c0/proofs/traversal_witness.Sample<Array<F32>, F32, input, result> -> @+evidence:0x9be3b13bf249759bc81e1958bcd1a4c0/proofs/storage_witness.ArrayWitness<F32, input> -> 0x9be3b13bf249759bc81e1958bcd1a4c0/proofs/traversal_witness.Sample<Array<F32>, 0x9be3b13bf249759bc81e1958bcd1a4c0/kernel_tile.Tile8, input, 0x9be3b13bf249759bc81e1958bcd1a4c0/kernel_weights.second(rows, inner, row, index, a, result)>

def first source · line 77 · raw

@+rows:U32 -> @+inner:U32 -> @+row:U32 -> @+index:U32 -> @-input:Array<F32> -> @-result:Pair(Array<F32>, F32) -> @observed:0x9be3b13bf249759bc81e1958bcd1a4c0/proofs/traversal_witness.Sample<Array<F32>, F32, input, result> -> @+evidence:0x9be3b13bf249759bc81e1958bcd1a4c0/proofs/storage_witness.ArrayWitness<F32, input> -> 0x9be3b13bf249759bc81e1958bcd1a4c0/proofs/traversal_witness.Sample<Array<F32>, 0x9be3b13bf249759bc81e1958bcd1a4c0/kernel_tile.Tile8, input, 0x9be3b13bf249759bc81e1958bcd1a4c0/kernel_weights.first(rows, inner, row, index, result)>

def read source · line 86 · raw

@-input:Array<F32> -> @context:0x9be3b13bf249759bc81e1958bcd1a4c0/kernel_weights.Context -> @index:U32 -> @evidence:0x9be3b13bf249759bc81e1958bcd1a4c0/proofs/storage_witness.ArrayWitness<F32, input> -> 0x9be3b13bf249759bc81e1958bcd1a4c0/proofs/traversal_witness.Sample<Array<F32>, 0x9be3b13bf249759bc81e1958bcd1a4c0/kernel_tile.Tile8, input, 0x9be3b13bf249759bc81e1958bcd1a4c0/kernel_weights.read(input, context, index)>