Tutoriales
Intelligens szerződések ellenőrzése és biztonsága
Intelligens szerződések ellenőrzése és biztonsága
A Blockchain egyedülálló lehetőséget kínál az elosztott konszenzusra. Az intelligens szerződéses alkalmazások egyedi biztonsági problémákat hordoznak. E kockázatok mérséklése érdekében a Jobchain® biztonsági ellenőrzéseket végez intelligens szerződéseivel kapcsolatban.
Certik fájl és Quantbélyeg, a világ két legfejlettebb formális hitelesítési technológiája az intelligens szerződések és a blockchain auditálás terén, zöld utat adott a Jobchain® számára, hogy folytassa a platform biztonságának további erősítésére irányuló erőfeszítéseit a Jobchain® ökoszisztéma stabilitásának és bizalmának biztosítása érdekében.
A CertIk
: A CertIk úttörő a blockchain kiberbiztonság területén, amelyet a Yale Egyetem és a Columbia Egyetem számítástechnikai professzorai alapítottak. Saját Formális Verification technológiájának szigorát alkalmazva az intelligens szerződésekben és a blockchain protokollokban, a CertIk több mint 4,39 milliárd dollárt tudott biztosítani eszközök, köztük sok a világ vezető blockchain projektek. A CertIk kutatási erőfeszítései az IBM és az Ethereum Alapítvány támogatásban részesültek, valamint olyan jelentős befektetőktől, mint a Binance Labs, az Arrington XRP, a Lightspeed China Partners, a Matrix Partners China és a NEO Global Capital.
A hagyományos tesztelési megközelítésektől eltérően a CertIk megpróbálja matematikailag bizonyítani, hogy a blockchain ökoszisztéma és az intelligens szerződések hacker-ellenállóak és hibamentesek. A biztonsági ipar bizalmával a CerTik stratégiai partnerségeket alakított ki a világ vezető digitális eszközcseréivel, mint például a Binance OkeX, Kucoin és Huobi, valamint blockchain protokollok, mint például a NEO, az ICON és a QuarkChain.
Kulcsfontosságú CerTik technológiák:
- Formális ellenőrzés - matematikai tesztek a kritikus programok minden lehetőségének ellenőrzésére.
- AutoScan — méretezhető technológia a biztonsági rések azonosítására és kijavítására
- Deepsea-Blockchain - funkcionális programozási nyelv a hivatalosan ellenőrizhető intelligens szerződésekhez
A CertIk mag előnyei:
- Teljes körű és testreszabható formális ellenőrzés
- Részletes és átlátható ellenőrzési jelentések
- Biztonsági szakértők által végzett kódértékelés
- Az összes főbb protokollban és nyelven végzett auditok
- Saját generált ellenpéldák
- Korlátlan kód újraauditálás
- Tapasztalt és etikai hackerek fejlett penetrációs tesztelése
A Quantbélyegről
:
A Quantstamp célja az intelligens szerződések áthatolhatatlanságának megoldása a fő decentralizált protokoll létrehozásával, amely az Ethereum hálózaton alapuló intelligens szerződések biztonsági ellenőrzését biztosítja. Lényegében a Quantstamp lehetővé teszi, hogy az intelligens szerződéses fejlesztők benyújtsák munkájukat a protokolljuknak, ahol számos biztonsági ellenőr felülvizsgálhatja a szerződést annak érdekében, hogy QSP tokeneket kapjanak jutalomként. A szükséges auditszintet a kezdeti fejlesztő állapítja meg, aki ezeket a díjakat annak fizeti, aki az intelligens szerződésben problémát azonosít.