ninadok
3 de septiembre de 2021
Source: www.crowdfundinsider.com, written by Omar Faridi
CJDNS SASU, a French software R&D start-up in the PKT ecosystem, recently announced its funding agreement with NGI-LEDGER, a European Commission’s initiative that aims “to shape the development and evolution of the Internet.”
The agreement secures funding for SafePKT, an initiative that aims to bring automated software verification to technologies in the PKT blockchain and ecosystem.
As stated in an update shared with CI:
> “With an aligned vision to build decentralized data governance technologies for a more human centric Internet, NGI-LEDGER and CJDNS SASU will help SafePKT build on PKT’s ultimate goal of creating an “Internet by the people, for the people.”
The SafePKT project is reportedly being led by Fausto Spoto, Professor at the University of Verona, Italy, and Etienne Payet, Professor at the University of Reunion, France, who bring 40+ years of “combined experience in correctly proving software using scientific methodology.”
Spoto remarked:
> “I think the SafePKT project will allow for a new exploration in the field of software verification in the burgeoning blockchain space. It is important to do so, since blockchain code requires high quality levels and this is exactly what software verification and static code analysis add to software development. The use of new programming languages, such as Rust, gives more interest to the application of software verification, which has been essentially limited, up to now, to mainstream programming languages.”
“As a researcher, I’ve been working in the areas of software verification and static code analysis for over 20 years now. I think the SafePKT project is an incredible opportunity to apply the techniques I’ve studied and developed so far to large scale industrial code, which I’ve never had the chance to do before,” Payet added.
SafePKT’s vision is to “re-imagine and re-engineer the Internet for the third millennium and beyond to enable human potential, mobility and creativity at the largest possible scale — while dealing responsibly with our natural resources.”
The collaboration will be “at the core of the European Commission’s policy to allow for decentralised data governance and will adhere to the United Nations agenda for the Sustainable Development Goals.”
Thierry Marianne, Research and Development Software Engineer at CJDNS, added:
> “In order to ship robust and maintainable software, I’ve been trying test-driven development among other techniques like pair-programming for a while now and it’s very exciting to participate to the research of static code analysis for a new language like Rust in the context of SafePKT,”
Caleb James DeLisle, Co-founder and Lead Developer at PKT, noted:
> “I’d like to commend the LEDGER consortium, NGI initiative, and the European Commission, not only for fostering European competitiveness in this blossoming field, but also for helping establish European values within the still evolving blockchain ecosystem.”
NGI (Next Generation Internet) is a European Commission’s initiative that aims “to shape the development and evolution of the Internet into an Internet that responds to people’s fundamental needs, including trust, security, and inclusion while reflecting the values and the norms all citizens enjoy in Europe.”
NGI funds innovators that address technological opportunities “with a focus on privacy and trust, search and discovery, decentralized architectures, blockchain, Internet of Things, social media, interactive technologies as well as technologies supporting multilingualism and accessibility.”
LEDGER is an EU-funded consortium project of FundingBox, Dyne and BLUMORPHO, three “established entities with track records in research and business development excellence.”
The project supports research and innovation projects “addressing: privacy-by-design, reliability, trustworthiness and openness as core values by providing funding, technical, and business mentorships.”
Caleb James DeLisle, Co-founder and Lead Developer at PKT, has shared exclusive insights with Crowdfund Insider on this announcement.
You can continue reading here on this link.
