База знань

Децентралізовані фінанси, або DeFi, описуються як "складна екосистема протоколів, побудованих на Ethereum, які дозволяють створювати фінансові застосунки". Іншими словами, це фінансова система, яка працює на децентралізованій інфраструктурі.

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

Додатки DeFi дозволяють користувачам заробляти, позичати, віддавати в позику, торгувати та багато іншого без потреби у посереднику і швидше, ніж у банках.

Якщо розробники - це супергерої програмної індустрії, то відсутність документації - наш криптоніт.

Келсі Хайтауер

Чотири години ранку, і ваш пейджер вмикається. Сервіс вашої компанії впав, і клієнти в паніці. Ви перегортаєте напівзнайому кодову базу, шукаючи кореневої причини. Повідомлення про помилки в юніт-тестах є розчаровуюче невизначеними, і внутрішній README складається з заголовків, за якими слідують дублюючі однослівні абзаци: [TODO].

УГОДА ПРО ПАРТНЕРСТВО НА ДОСТАВКУ ГОТІВКОВИХ КОШТІВ ДЛЯ ІНВЕСТИЦІЙ ЗА ДОПОМОГОЮ ПЕРЕДАЧІ ВІД ЛЕДЖЕР ДО ЛЕДЖЕР

У Mythril символічний аналізатор відноситься до основного компонента інструменту Mythril, який виконує символічне виконання смарт-контрактів Ethereum. Символічне виконання - це техніка, яка використовується в аналізі програмного забезпечення для дослідження всіх можливих шляхів через програму, обробляючи змінні та вхідні дані символічно, а не конкретними значеннями.

Ось як працює символічний аналізатор в Mythril:

"Підтвердження preadvice" у інвестиційних операціях у процедурі Ledger to Ledger - це частина процесу, де отримувач інвестицій сповіщає банк про надходження коштів, перш ніж фактичні кошти надійдуть на його рахунок.

Давайте розглянемо цей процес крок за кроком:

Почнемо з опису кожного із згаданих інструментів для автоматизованого аналізу коду в Solidity смарт-контрактах: Slither, Mythril, Solgraph і Echidna. Потім я надам порівняльний аналіз у форматі таблиці.

Paymaster - це особа, яка приймає, утримує та виплачує кошти від імені групи покупців, продавців, інвесторів або кредиторів у приватному або публічному секторі. У банківських операціях paymaster зазвичай є нейтральною третьою стороною, яка контролює переказ коштів за допомогою ескроу-рахунку.

import 'openzeppelin-contracts-06/math/SafeMath.sol';

Бібліотека SafeMath.sol створена для забезпечення безпечних операцій з числами в смарт-контрактах на блокчейні Ethereum. Основна причина її існування полягає в уникненні переповнення або вразливостей при виконанні арифметичних операцій з цілими числами в Ethereum смарт-контрактах.

Ось докладні пояснення, чому SafeMath.sol є важливою: