• Главная
  • Контакты
Подписаться:
  • Twitter
  • Facebook
  • RSS
  • VK
  • PushAll

logo

  • Все
    • Положительные
    • Отрицательные
  • За сегодня
    • Положительные
    • Отрицательные
  • За вчера
    • Положительные
    • Отрицательные
  • За 3 дня
    • Положительные
    • Отрицательные
  • За неделю
    • Положительные
    • Отрицательные
  • За месяц
    • Положительные
    • Отрицательные
  • За год
    • Положительные
    • Отрицательные
  • Сортировка
    • По дате (возр)
    • По дате (убыв)
    • По рейтингу (возр)
    • По рейтингу (убыв)
    • По комментам (возр)
    • По комментам (убыв)
    • По просмотрам (возр)
    • По просмотрам (убыв)
Главная
  • Все
    • Положительные
    • Отрицательные
  • За сегодня
    • Положительные
    • Отрицательные
  • За вчера
    • Положительные
    • Отрицательные
  • За 3 дня
    • Положительные
    • Отрицательные
  • За неделю
    • Положительные
    • Отрицательные
  • За месяц
    • Положительные
    • Отрицательные

Публикации с тегом формальная верификация криптовалют

Формальная верификация смарт-контрактов во фреймворке ConCert

  • 03.04.2024 15:32
  • krlzi
  • 0
  • Блог компании Positive Technologies
  • Информационная безопасность
  • Программирование
  • Solidity
  • Криптовалюты

Формальные методы проверки смарт-контрактов

  • 17.01.2024 08:03
  • white_coon
  • 2
  • Блог компании Positive Technologies
  • Децентрализованные сети
  • Программирование
  • Solidity
  • Криптовалюты

Формальная верификация кода на Coq: тактики +4

  • 18.07.2023 10:00
  • Natasha_Klaus
  • 4
  • Функциональное программирование
Страница 1 из 1
ЛУЧШЕЕ

  • Сегодня
  • Вчера
  • Позавчера
01:38

Как я поучаствовал в скам-схеме: эксперимент с фейковым арбитражем STEEM и IOST +1

13:06

«Кем Вы видите себя через 5 лет», или русско-HRский разговорник +136

09:01

Самодельная газоразрядная Хабралампа V 1.1 +51

08:05

Запускаем раритетные платы фискальной памяти +31

08:00

Апрельские обновления в продуктах и услугах Selectel +30

08:28

Что же такое HDR? +25

09:00

Личная эффективность СТО: как не сгореть, быть полезным и не терять фокус +24

07:13

Videoton TVC: непростой венгерский компьютер советской эпохи +21

13:01

Не вместо облака, а вместе с ним: зачем компаниям Edge Computing +20

08:54

Как работают антиботы +19

12:26

Где бесплатно хостить пет-проект с собственным доменным именем +17

12:55

Что происходит с собеседованиями QA в 2025 году? Взгляд с обеих сторон баррикад +15

08:11

Программный генератор случайных числовых последовательностей на RISC-V с использованием PUF в DRAM +15

10:58

Siemens A52, Nokia Lumia 800 и другие телефоны, которые были у сотрудников Selectel в детстве +14

18:30

ИИ в греческих буквах и транслитерация промптов +13

14:05

Галлюцинации моделей текстовых ИИ, и как с ними бороться +13

12:41

ТОП-5 нейросетей для транскрибации аудио в текст (часть 1) +13

12:25

Математическое решение царской игры Ура +13

10:20

Devboard для К1921ВГ015 +13

08:00

Распределённый инференс и шардирование LLM. Часть 3: настройка авторизации и интеграция с Open WebUI +13

11:28

История о свершениях одного QA: о Quality Gates и оптимизации релизных процессов в ОК +12

09:01

От инженеров до барыг, или откуда растут переработки и прочая корпоративная шиза. Часть 2 +97

10:27

Скам на $700,000 в Solana: как токен с ростом в 4 млрд% обнуляется за секунды +83

05:29

Откуда у Xiaomi так много разных устройств? +57

10:11

Как найти и потерять бэкдор в ESP32 +55

12:11

Есть ли у AMD перспективы в AI/ML/DL. Часть 1 +48

09:01

Всё про Generic Math в C# +48

06:37

Курсы по тестированию — развод, маркетинг и пустышки +47

09:05

Проект «Мультиключ». Эмулятор ключей от домофона на ESP8266 +44

01:28

Самоорганизация неприятностей +43

13:39

Процессор на коленке ч.1 +40

13:01

Электроэнергия из подошв ботинок? Решение: микроканальный генератор +40

09:20

Как использовать японские подходы в IT. Часть 5: в плену процесса +37

09:01

Оптимизация Spark-приложений: шаг за шагом от базовых техник до продвинутых приёмов +32

09:01

Оптимизация Spark-приложений: шаг за шагом от базовых техник до продвинутых приёмов +32

04:41

Генератор синусоиды из LC-контура и отрицательного сопротивления +26

13:46

Radio Data System, SI4735 и Flipper Zero +24

16:12

Linux для начинающих: WSL — это читерство. Как Microsoft дал нам Linux без головной боли +23

09:52

Как мы в Точке сделали свой дизайн-линтер +23

10:18

Do as I do: алгоритм размещения сервисов внешних поставщиков в Маркетплейсе VK Cloud +22

10:18

Do as I do: алгоритм размещения сервисов внешних поставщиков в Маркетплейсе VK Cloud +22

СЕРВИСЫ
  • logo

    CloudLogs.ru - Облачное логирование

    • Храните логи вашего сервиса или приложения в облаке. Удобно просматривайте и анализируйте их.
ОБСУЖДАЕМОЕ

  • HEX раздражает женщин +15

    • 184

    Linux для начинающих: WSL — это читерство. Как Microsoft дал нам Linux без головной боли +23

    • 164

    От инженеров до барыг, или откуда растут переработки и прочая корпоративная шиза. Часть 2 +97

    • 94

    Windows против Linux: кто кого, или почему пингвин не боится окна -10

    • 72

    Электроэнергия из подошв ботинок? Решение: микроканальный генератор +40

    • 64

    Как упростить себе освоение Rust +20

    • 63

    Скам на $700,000 в Solana: как токен с ростом в 4 млрд% обнуляется за секунды +83

    • 48

    Откуда у Xiaomi так много разных устройств? +57

    • 42

    «Кем Вы видите себя через 5 лет», или русско-HRский разговорник +136

    • 41

    Концепция Человек-Род-Государство -2

    • 37

    Процессор на коленке ч.1 +40

    • 34

    Токсы и как с ними работать. Памятка руководителю +11

    • 34

    Посткапитализм без откатов: эволюция к равенству возможностей +1

    • 32

    Идеальный NAS на 8 NVME дисков. Обзор Terramaster F8 Plus +3

    • 31

    Сингулярность чёрных дыр: что скрывается за горизонтом событий? +4

    • 23

Подписка


  • Главная
  • Контакты
© 2025. Все публикации принадлежат авторам.