def certificate

stelliferous@0.0.2.0 · proofs/kernel_weights_certificate.bend:70

import Base
import stelliferous@0.0.2.0/kernel_weights.bend as Weights
import stelliferous@0.0.2.0/kernel_tile.bend as Tile
import stelliferous@0.0.2.0/tensor.bend as Tensors
import stelliferous@0.0.2.0/proofs/storage_certificate.bend as Certificate

70def certificate(+rows: U32,+inner: U32,-input: Array<F32>,certificate: Certificate.Certificate<F32,input>) ->
71  Certificate.Certificate<Tile.Tile8,Weights.run(rows,inner,input)>:
72  Certificate.Certificate{Tensors.depth_for((((rows + 7) / 8) * inner : U32)),equation(rows,inner,input,certificate)}