Audit e Sicurezza dei Contratti Intelligenti
Audit e sicurezza dei contratti intelligenti
La blockchain rappresenta un'opportunità unica per il consenso distribuito. Le applicazioni smart contract presentano problemi di sicurezza unici. Per mitigare questi rischi, Jobchain® conduce audit di sicurezza per i suoi contratti intelligenti.
Certik e Timbro Quantstamp, due delle più avanzate tecnologie di verifica formale al mondo per contratti intelligenti e auditing blockchain, hanno dato il via libera a Jobchain® per continuare i suoi sforzi nel rafforzamento ulteriore della sicurezza della piattaforma in modo da garantire stabilità e fiducia dell'ecosistema Jobchain®.
Informazioni su CertiK
: CerTiK è un pioniere nella sicurezza informatica blockchain fondata da professori di informatica della Yale University e della Columbia University. Applicando il rigore della tecnologia proprietaria di verifica formale nei contratti intelligenti e nei protocolli blockchain, CertiK è stata in grado di garantire oltre 4,39 miliardi di dollari in asset, inclusi molti tra principali progetti blockchain al mondo. Gli sforzi di ricerca di CertiK hanno ricevuto sovvenzioni da IBM e dalla Ethereum Foundation, oltre che da importanti investitori, tra cui Binance Labs, Arrington XRP, Lightspeed China Partners, Matrix Partners China e NEO Global Capital, per citarne alcune.
A differenza degli approcci di test tradizionali, CertiK cerca di dimostrare matematicamente che l'ecosistema blockchain e gli smart contract sono resistenti agli hacker e sono privi di errori. Con la fiducia del settore della sicurezza, CertiK ha stabilito partnership strategiche con i principali exchange di asset digitali a livello mondiale, come Binance OKEx, Kucoin e Huobi, oltre a protocolli blockchain come NEO, ICON e QuarkChain.
Tecnologie di base CertiK:
- Verifica formale: test matematici per verificare tutte le possibilità dei programmi mission-critical.
- AutoScan: tecnologia scalabile per identificare e porre rimedio alle vulnerabilità della sicurezza.
- DeepSEA-blockchain - linguaggio di programmazione funzionale per contratti intelligenti formalmente verificabili.
Vantaggi del core CertiK:
- Verifica formale completa e personalizzabile.
- Report di audit dettagliati e trasparenti.
- Revisione del codice da parte di esperti di sicurezza.
- Audit effettuati su tutti i principali protocolli e lingue.
- Counteresempi autogenerati.
- Reaudit illimitati del codice.
- Test di penetrazione avanzati eseguiti da hacker esperti ed etici.
Informazioni su Quantstamp
:
Quantstamp mira a risolvere l'impenetrabilità dei contratti intelligenti creando il leader del protocollo decentralizzato che fornirà un audit di sicurezza per gli smart contract basato sulla rete Ethereum. In sostanza, Quantstamp consente agli sviluppatori di contratti intelligenti di sottoporre il lavoro al proprio protocollo, tale per cui numerosi revisori della sicurezza possono rivedere il contratto, al fine di ricevere token QSP come ricompensa. Il livello di audit richiesto è impostato dallo sviluppatore iniziale, che paga tali commissioni a chiunque identifichi un problema nello smart contract.