Skip to main content

xронотоп

Verifying smart-contracts with SafePKT

Published the first time on the 10th of February 2022.

~15 min read

SafePKT project was implemented in the context of the European NGI LEDGER program (see https://ledger-3rd-open-call.fundingbox.com/).

Caleb James de LisleÉtienne PayetDavid PearceFausto Spoto and I are very grateful towards the following organizations, projects and people for having trusted us all along the program and until it ended with the final round:

  • the Project Oak maintainers for making Rust Verifications Tools, a dual-licensed open-source project (MIT / Apache).
    The RVT tools allowed us to integrate with industrial-grade verification tools in a very effective way.
  • the KLEE Symbolic Execution Engine maintainers
  • the Rust community at large
  • the JavaScript and NuxtJS community at large
  • The University of Reunion Island and the University of Verona
  • All members of the NGI-Ledger Consortium for accompanying us

Published the first time on the 10th of February  2022.

xронотоп

xронотоп

xронотоп

xронотоп

xронотоп

xронотоп

xронотоп

xронотоп

xронотоп