PaperS

Two papers are under progress

  1. DeepchainAda: Collaborated Deeplearning using Cardano/Ergo and SingularityNet

  2. ValCert: eUTXO based Onchain Contract Certification framework in Coq