...Первый шаг к долларовому миллиардерству -- выбор ниши для "цифрового продукта". Ну, тут конечно надо выбирать крипту 🤮 )))
Беспроигрышная классика инфоцыганства.

А именно - формальная верификация различных протоколов. Говорил вчера, что пока примерно меньше половины базы гомотопической теории реализовал, но уже этого с лихвой хватает для каких-то простых верификаций 💥

Скрин, в Trae -- формальная верификация протокола аутентификации Фиата-Шамира (криптографическая схема с Zero-Knowledge Proof).

Другой скрипт -- верификация эфирного смарт-контракта IERC20.sol на Solidity
(стандарт ERC20: простой токенизированный замок timelock, часто используется в DeFi для ограничения доступа к токенам на определённый период)

Вообще, этим занимаются аудиторы смарт-контрактов, средняя цена аудита на мировом рынке $20..100k. Но конкретно ниша формальной верификации (математическое доказательство безопасности) стартует где-то с $5,000–$15,000.

Например, базовый аудит простого контракта вроде токена ERC-20, критически важен, несмотря на море проверенных шаблонов (например, от OpenZeppelin). Ну потому что формальная верификация не про проверку стандарта, а про работу с конкретной уникальной реализацией. А в мире веба3 отсутствие даже базового аудита -- красный флаг ⛔️

=

Хотя на самом деле я конечно этим 💩 хуже онлайн-казино заниматься не планирую,
чисто для экспериментов, ну если вдруг какую-нибудь копеечку получится заработать как побочный эффект экспериментов, даю обет: 💯 отправляю на благотворительность.