SafePKT, a toolbox to verify rust-based smart contracts
In the SafePKT project, funded by the 3rd round of the NGI LEDGER program, our team focused on improving software development efficiency (and therefore time to market) for software used within the PKT...
The post SafePKT, a toolbox to verify rust-based smart contracts appeared first on PKT Cash Blog.
The post SafePKT, a toolbox to verify rust-based smart contracts appeared first on PKT Cash Blog.
23
Dec
2021