Apple e Microsoft fanno nuove mosse cripto

Eimantas Žemaitis
| 2 min read

Le major tecnologiche Apple e Microsoft stanno migliorando il loro set di strumenti per gli sviluppatori blockchain. Mentre Apple sta per annunciare CryptoKit, un framework per funzioni cripto, Microsoft sta sviluppando uno strumento di auditing degli smart contract.

Source: iStock/nixki

Apple CryptoKit sarà un nuovo framework per operazioni cripto "sicure ed efficienti". Permetterà agli sviluppatori di eseguire attività cripto comuni come hashing, generazione di chiavi e crittografia nelle imminenti app di iOS 13.

Il CryptoKit ha lo scopo di facilitare il processo delle seguenti operazioni:

  • Calcola e confronta i digest crittograficamente sicuri.
  • Utilizza la crittografia con chiave pubblica per creare e valutare le firme digitali, oltre a eseguire lo scambio di chiavi.
  • Genera chiavi simmetriche per operazioni come la crittografia e l’autenticazione dei messaggi.

Tale funzionalità consentirà agli utenti Apple di memorizzare e conservare le proprie chiavi private in dispositivi iOS come l’iPhone.

Nel frattempo, Microsoft ha annunciato uno strumento di Azure basato su Blockchain per l’auditing di contratti smart per Ethereum, chiamato VeriSol, che è un verificatore per il linguaggio di programmazione Solidity. Il software semplifica il processo di controllo del codice con controlli di sicurezza automatizzati.

"VeriSol ci consente di eseguire iterazioni più rapide grazie al controllo automatico e continuo e ci consente di intercettare i bug più rapidamente senza doverci preoccupare di incidere sui clienti", ha dichiarato Cody Born, ingegnere di Azure Blockchain, in un post sul blog di Microsoft.

La verifica formale degli smart contract è spesso stata un problema quando si creano componenti hardware e software e sono necessarie persone altamente qualificate per questo.

“L’uso della verifica formale per il software di produzione richiede individui esperti in linguaggi e strumenti formali altamente specializzati, che impongono ai team di sviluppo un forte costo di apprendimento e spesso diversi anni di investimento sulle persone per scomporre il compito altamente sofisticato di verifica in quelli che possono essere eseguiti meccanicamente dagli strumenti di verifica", ha spiegato il ricercatore di Microsoft Shuvendu Lahiri.

Il team spera che strumenti come VeriSol possano aiutare gli sviluppatori a evitare costosi errori nei contratti intelligenti. Sebbene VeriSol sia ancora solo un prototipo, è interamente open source, quindi tutti i curiosi possono controllarlo su GitHub.

Mosse come questa dimostrano solo l’entusiasmo crescente dei giganti della tecnologia per i sistemi basati su blockchain. Aziende come Facebook e JPMorgan stanno già sviluppando i loro servizi nativi basati sulla blockchain. Mentre a maggio, anche Microsoft ha annunciato che lanceranno ION (Identity Overlay Network), un’infrastruttura pubblica decentralizzata che gira proprio sulla blockchain di Bitcoin, consentendo decine di migliaia di operazioni al secondo.

Tuttavia, un recente report del ricercatore Gartner afferma che il 90% delle soluzioni business su piattaforma blockchain già implementate "dovrà essere sostituita entro 18 mesi per rimanere competitivi, sicuri ed evitare l’obsolescenza.”