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://
Caleb James de Lisle, Étienne Payet. David Pearce, Fausto 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.
The Data Protection Commission has adopted a decision, imposing a fine of €17m on Meta Platforms Ireland Limited (formerly Facebook Ireland Limited) (“Meta Platforms”) on the 15th March 2022
reported by Lukasz Olejnik in his 69th techletter (via techletters.substack.com)
See also Meta fined €17m by Irish Data Protection Commission (via irishtimes.com)