def certificate

stelliferous@0.0.2.0 · proofs/kernel_gather_certificate.bend:53

import Base
import stelliferous@0.0.2.0/kernel_gather.bend as Gather
import stelliferous@0.0.2.0/proofs/storage_certificate.bend as Certificate

53def certificate(count: U32,offset: U32,positions: U32,span: U32,-input: Array<F32>,-output: Array<F32>,
54  input_certificate: Certificate.Certificate<F32,input>,output_certificate: Certificate.Certificate<F32,output>) ->
55  Certificate.Certificate<F32,Gather.gather_block(count,offset,positions,span,input,output)>:
56  Certificate.Certificate{+depth,balanced} = output_certificate
57  Certificate.Certificate{depth,equation(depth,count,offset,positions,span,input,output,input_certificate,balanced)}