Jump to content

Recommended Posts

Posted

certik_zapustila_osnovnuyu_set_certik_chain.jpg

 

Специализирующаяся на кибербезопасности компания CertiK запустила основную сеть CertiK Chain с системой аудита смарт-контрактов в режиме реального времени.

В блокчейне CertiK Chain наибольшее внимание уделяется безопасности – статический процесс анализа смарт-контрактов преобразован в систему защиты в режиме реального времени. Генеральный директор CertiK и профессор компьютерных наук Колумбийского университета Ронхуи Гу (Ronghui Gu) сказал:

 

«Времена, когда мы полагались на автономный анализ безопасности и статические отчеты аудита безопасности, а также страдали от ненужных потерь времени и денег, закончились. CertiK Chain устанавливает новый отраслевой стандарт в протоколах безопасности блокчейнов».

 

CertiK Chain использует собственный язык программирования смарт-контрактов DeepSEA, демо-версия которого была выпущена ранее в этом году. DeepSEA автоматизирует формальную проверку – математическое доказательство того, что код работает правильно.

 

 

Подробнее: https://bits.media/certik-zapustila-osnovnuyu-set-certik-chain/

Create an account or sign in to comment

You need to be a member in order to leave a comment

Create an account

Sign up for a new account in our community. It's easy!

Register a new account

Sign in

Already have an account? Sign in here.

Sign In Now
  • Recently Browsing   0 members

    • No registered users viewing this page.
  • Similar Topics

    • Bitget запустила акцию для новых пользователей с бонусами до $700 в BTC

      Криптовалютная биржа Bitget запустила акцию для новых пользователей из стран СНГ и Украины. Участники смогут получить бонусы в BTC за верификацию, первый депозит, первую сделку и достижение заданных объемов торгов. Акция проходит с 2 по 30 сентября 2026 года. Принять участие могут только новые пользователи, прошедшие проверку личности.   Чтобы получить стартовый бонус $15 в BTC, необходимо выполнить три условия:   Кроме стартового бонуса, Bitget предусмотрела дополнительные во

      in Новости криптовалют

    • Чикагская товарная биржа запустила два новых криптовалютных индекса

      Чикагская товарная биржа (CME Group) запустила во вторник, 1 сентября, два новых криптовалютных индекса, CME CF Emerging Crypto Index и CME CF Crypto Market Index отслеживают несколько криптоактивов с высокой рыночной капитализацией. Emerging Crypto Index включает в себя криптовалюты BNB, XRP, Solana (SOL), Hyperliquid (HYPE), Chainlink (LINK), Stellar Lumens (XLM), Sui (SUI), Uniswap (UNI), Avalanche (AVAX) и Aave (AAVE). Биткоин и эфир специально исключены из этого индекса, чтобы участни

      in Новости криптовалют

    • Bitget запустила предварительный этап KCGI 2026 с призовым фондом $75 000

      Криптовалютная биржа Bitget объявила о старте предварительного этапа KCGI 2026 Long vs. Short Battle. Участники смогут выбрать команду Long или Short и торговать фьючерсами, претендуя на долю призового фонда в размере $75 000 в BTC и USDT. Соревнование пройдет с 25 августа по 9 сентября 2026 года и станет первым этапом ежегодного международного турнира King's Cup Global Invitational 2026. Общий призовой фонд основной части KCGI 2026 составляет $3 млн.   В рамках Long vs. Short Battle

      in Новости криптовалют

    • Bitget запустила кампанию для новых пользователей с вознаграждениями в BTC и USDT

      Криптовалютная биржа Bitget объявила о промокампании для новых пользователей из стран СНГ и Украины. По условиям акции участники могут претендовать на вознаграждения общей суммой до $520 в BTC и USDT за выполнение условий, связанных с верификацией, первым депозитом и торговым объемом. Акция включает несколько этапов: прохождение верификации, первый депозит с удержанием средств и торговый объем на спотовом или фьючерсном рынке Bitget. После регистрации в промокампании участники могут претенд

      in Новости криптовалют

    • Число нападений на криптоинвесторов выросло на треть — CertiK

      За последние шесть месяцев произошло 52 публично известных нападения на криптоинвесторов с целью похитить криптовалюту. Это на 33,3% больше, чем за первое полугодие 2025-го (39 инцидентов), сообщили аналитики компании CertiK. Совокупный финансовый объем вымогательств, взломов и требований выкупа вырос с $10,53 млн в первой половине 2025 года до $124,18 млн за первые шесть месяцев этого. То есть объем вырос почти в 12 раз. В расчете на одно происшествие средний ущерб вырос с $270 000 до $2,3

      in Новости криптовалют

×
×
  • Create New...