Агентство передовых оборонных исследовательских проектов (DARPA), являющееся подразделением Минобороны США, предложило совместный контракт компаниям Galois и Guardtime Federal. Целью работ является подтверждение исправного состояния Keyless Signature Infrastructure (KSI) – мониторинговой системы, созданной Guardtime.
DARPA предложило контракт стоимостью 1.8 млн. долларов двум компаниям, которые должны официально подтвердить надлежащую работоспособность системы мониторинга, основанной на технологии блокчейна.
В DAPRA отметили, что работы по контракту подразумевают приложение «значительных усилий», которые помогут усовершенствованию всех мониторинговых систем, основанных на блокчейне, а также выявлению инструментов, необходимых для осуществления формальной верификации.
Galois – компания, расположенная в Портленде (Орегон, США), специализирующаяся на «формальной верификации» – математической оценке работы систем для подтверждения правильности их функционирования.
http://bits.media/news/darpa-zakazhet-sistemu-monitoringa-na-blokcheyne-za-1-8-mln-dollarov/