Trustless Computing Initiative R&D proposals submitted to H2020 DS-01 RIA and CSA Calls

On April 12th 2016, we submitted two groundbreaking public R&D proposals, based on our Trustless Computing Consortium,aggregating with amazing participants and advisors endowed with globally-rare high-assurance IT expertises and assers, throughout the entire IT supply chains.

A. We submitted a 4.8M€ proposal to H2020 DS-01 RIA, to build the Trustless Computing Certification Bodya complitant general-purspose low-level Trustless Computing open computing base, and CivicPod and CivicCPS, for deployment respectively in the communications and CPS domains. 

  • Full Proposal PDF of 123 pages.

  • Participants included:

    • Kryptus, the only maker of a CPU for general-purpose computing that is publicly inspectable in HW and SW source design;

    • DFKI, the largest AI R&D center in the World by number of employees and amount of external funds;

    • Genode Labs, the makers of the leading FLOSS micro-kernel framework, compatible with Sel4;

    • EOS, the largest IT security industry association of Europe;

    • Two members of SO-GIS, the Austrian A-SIT and the Italian OCSI, national public authorities that certify for all IT systems authorized to deal with state secret.

  • A Trustless Computing Consortium MoU PDF – binding under Swiss Law though conditional on approval – was signed concurrently with the proposal by all core technical partners. Though not required by the Call, it specificies in fine detail paradigms, licensing, patents, non-compete and more, in order to make it resilient to even “economic attack” by actors willing to unravel or beat-to-market the resulting Consortium.

B. We submitted a 1M€ TRUSTLESS proposal (PDF) to H2020 DS-01 CSA to create the Trustless Computing Certification Body. See PDF for a detail of tech and governance partners.
Update Nov 2016: We are pursing A and B via private equity mean with our spin-off startup TRUSTLESS.AI

Rufo Guerreschi