Софт-line:
MemTest 6.0 -- "MemTest - утиліта призначена для тестування надійності роботи ..." -- 25 вересня 2018
WinAudit 3.2.1 -- "WinAudit Freeware - безкоштовна програма для діагностики ..." -- 24 вересня 2018
Caramba Switcher 2018.09.24 -- "Caramba Switcher - це принципово новий, безкоштовний автоматичний ..." -- 24 вересня 2018
SnagIt 18.2.1 build 1590 -- "SnagIt - основне призначення програми - зняття скріншотів з екрану ..." -- 20 вересня 2018
Active@ UNERASER 12.0 -- "Active@ UNERASER - ефективна утиліта для DOS і Windows, відновлює ..." -- 20 вересня 2018
PhotoStage Slideshow 5.10 -- "PhotoStage Slideshow - зручний і простий у використанні інструмент ..." -- 20 вересня 2018
NVIDIA Inspector 1.9.7.8 -- "NVIDIA Inspector - невелика безкоштовна програма, за допомогою якої ..." -- 20 вересня 2018
Batch It! 6.57 -- "Batch It! - це програма для обробки популярних графічних форматів ..." -- 20 вересня 2018
AOMEI PE Builder 2.0 -- "AOMEI PE Builder - засіб для створення завантажувального носія або ..." -- 19 вересня 2018
Alternate Pic View 2.620 -- "Alternate Pic View - непогана заміна стандартному додатком для ..." -- 19 вересня 2018


Компанія Fujitsu анонсувала створення технології, здатної виявляти уразливості в блокчейн-системах. Вона підвищує безпеку платформ і полегшує роботу програмістів.

Мова йде про алгоритм, що виключає ризик того, що хтось скористається мовними специфікаціями платформи Ethereum для фальсифікації походження виклику транзакції. За рахунок цього блокується можливість помилкового віртуального виконання транзакцій за допомогою технології символьного виконання.

Розробка японського виробника визначає, до якої частини вихідного коду відноситься виявлена уразливість смарт-контракту. Вона дозволяє здійснювати символьне виконання допомогою видалення невикористовуваних команд.

У Fujitsu стверджують, що нова технологія здатна підвищити ефективність розробки нових типів смарт-контрактів. Спільно з функцією виявлення розташування ризиків вона буде сприяти зменшенню об'єму робіт по аналізу специфікації, оцінки та виправлення коду.

Fujitsu не має наміру обмежуватися платформою Ethereum при розробці технологій перевірки надійності смарт-контрактів. Також компанія збирається застосувати алгоритм у проектах Hyperledger Fabric і Hyperledger, що реалізуються некомерційним консорціумом Linux Foundation.

Головне на ПК-манія

«Ростелеком» і Nokia створили спільну компанію

Телекомунікаційний гігант «Ростелеком» і виробник устаткування для операторів зв'язку Nokia ...

Новини інтернету 2018-09-24 15:56:32

Що стоїть за рекомендацією HP Enterprise придивитися до чіпів EPYC?

Нещодавно HP Enterprise (HPE) рекомендувала своїм партнерам розглянути перспективу використання ...

Hard новини 2018-09-22 18:11:30

У Росії діють 220 тисяч базових станцій LTE

У Міністерстві цифрового розвитку, зв'язку і масових комунікацій (Мінкомзв'язку) розповіли про ...

Новини інтернету 2018-09-21 19:54:01

Відео дня

Живі додатки

Безпека

Ntfs Drive Protection 1.5

Ntfs Drive Protection - невелика і не вимагає установки утиліта для захисту USB-флешок від запису. Програма працює тільки з

Мультимедіа

HQ Audio Player 1.1

HQ Audio Player - аудіо плеєр з простим інтерфейсом для швидкого орієнтування в програмі. Підтримує mp3, wav. Має простенький

  • Prev
  • software
Scroll to top