def witness
stelliferous@0.0.2.0 · proofs/storage_certificate.bend:68
import stelliferous@0.0.2.0/proofs/storage_certificate.bend as StorageCertificate
import Base
import stelliferous@0.0.2.0/proofs/storage_tree_model.bend as Tree
import stelliferous@0.0.2.0/proofs/storage_witness.bend as Witness
68def witness(-Element: Data,-storage: Array<Element>,certificate: Certificate<Element,storage>) -> Witness.ArrayWitness<Element,storage>:
69 Certificate{+depth,equation} = certificate
70 %Equal.sym(Array<Element>,storage,Tree.pack(Element,normalized(Element,depth,Tree.reflect(Element,storage))),equation) :
71 Witness.ArrayWitness<Element,_>
72 Witness.ArrayWitness{depth,normalized_witness(Element,depth,Tree.reflect(Element,storage))}