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 Body, a 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.
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