SafePKT

Website

https://pkt.cash/

Internet by the people, for the people

ProjectID

ledger_SafePKT

Acronym

SafePKT

Additional Info

The overall PKT project aims to dis-intermediate internet service monopolies by de-coupling infrastructure operation from (internet) service provision. We envision hundreds of Cloud ISPs (SaaS tech companies) around the world providing internet service to their customers by leveraging bandwidth leases on infrastructure which is owned and operated by millions of individuals, small businesses and community groups. PKT project builds on cjdns, a mature project providing an encrypted routing protocol for adversary-tollerant decentralized networking. PKT will extend cjdns with the necessary bandwidth lease management for decentralizing the financial component of the network as well. The SafePKT project aims to develop techniques for leveraging automated software verification in order to improve reliability and strengthen confidence in the correctness of specific, critical snippets of the code-base. Verification will be embedded in the development cycle of mature software in order to make changes quickly without unreasonable impact to the TRL of the overall project.