Официальное сообщество Ethereum. Jobs & CV: @eth_jobs EN group: @ethdev Целевая аудитория: разработчики, аудиторы, CTO, CFO, валидаторы и провайдеры нод, фаундеры, регуляторы, СМИ, normies. Key w: eth, smart contract, L1-L2, web3, cryptography etc.
Of course we should not throw away training wheels become we're actually confident that the proof systems are secure; that would be irresponsible. But stage 1 (75% threshold on council to override the proof system, 26%+ of council must be outside the rollup team) is a very reasonable moderate milestone. The multisigs I'm in have not had a single liveness failure in years, let alone 26%.
Читать полностью…но ведь ZK это про zero knowledge, а о каких доказательствах тогда идет речь и их наличие, фактически, создает third party сторону, которая будет их проверять🤣
к слову кажется люди позабыли что блокчейн как технология не нова и есть более перспективные направления криптографии и выстраивания клиентских p2p, а вот эти zk доказательства, работающие на газовых транзакциях сомнительны и не проверяемы
чтобы построить нормально стат анализ нужно вести работу с аст на уровне компилятора как минимум, анализ аст и выгрузка результата —-> это работа компилятора и оптимизаций на его уровне
а вот бизнес логику эмулировать это на уровне системы тестов с поднятой средой EVM, где можно проверять те или иные гипотезы —> сейчас это тестирование, в идеальном варианте нужен генератор тестов и визуализатор логики, чтобы можно было самому отследить дыры, к сожалению сейчас тесты сводятся к тому что разраб смог сделать, но качественных примеров ему никто не дал
мб кому то нужна подработка 15 баксов за час изи вертски
Читать полностью…Приветы, да, но поставьте ссылку на этот чат и/или @ethdev как инфоспонсора.
Читать полностью…Привет, коллеги!
Мы тут в Reactive Network запустили большой хакатон (50k USDT, 8 недель). Можно здесь его проанонсирвать? С кем нужно согласовать?
import { ethers } from "ethers";
// Подключение к провайдеру Ethereum
const provider = new ethers.JsonRpcProvider('<URL вашего провайдера>');
// Адрес контракта токена
const contractAddress = '<адрес контракта токена>';
// Сигнатура события Transfer
const transferEventSignature = ethers.id("Transfer(address,address,uint256)");
// Функция для получения логов по блокам чанками
async function getTransferLogs(fromBlock: number, toBlock: number, chunkSize: number) {
for (let startBlock = fromBlock; startBlock <= toBlock; startBlock += chunkSize) {
const endBlock = Math.min(startBlock + chunkSize - 1, toBlock);
const logs = await provider.getLogs({
address: contractAddress,
fromBlock: startBlock,
toBlock: endBlock,
topics: [transferEventSignature]
});
// Парсинг логов
logs.forEach(log => {
const decodedLog = ethers.AbiCoder.defaultAbiCoder().decode(
["address", "address", "uint256"],
log.data
);
console.log(`From: ${decodedLog[0]}, To: ${decodedLog[1]}, Value: ${decodedLog[2].toString()}`);
});
}
}
// Укажите блоки, между которыми хотите читать логи
const startBlock = 17000000; // начальный блок
const endBlock = 17010000; // конечный блок
const chunkSize = 1000; // размер чанка
getTransferLogs(startBlock, endBlock, chunkSize).catch(console.error);
ппц кризис индустрии. Еще утром были предложения от ботов по заработку 1.5к баксов в день, а щас всего 95 :(
Читать полностью…🤓 Виталик Бутерин заявил, что со следующего года он будет публично упоминать и поддерживать только те L2-решения, которые стали более независимы от ручного управления со стороны разработчиков
75% участников (совет) должны иметь возможность отменить/переопределить систему доказательств.
Как минимум 26% этого совета должны быть независимы от команды разработчиков.
По словам Бутерина, команды, работающие над ZK-роллапам, обещают достичь этой стадии до конца года.
Он считает, что сейчас приходит новая эра, когда в основе безопасности и работы этих решений будут лежать криптографические доказательства, а не доверие к людям или командам.
если говорим про реализацию тут не помогут всякие расты и прочий шлак, нужен С++, так как его выразительность и умение абстрагировать логику кода, виртуализировать ее и прочее несравнимо выше чем у все остальных в том числе за счет своей выразительности,
остальные языки к сожалению, не обладая присущими языку выше свойствами вынуждены отдавать очень ограниченные инструменты не способные к многоуровневому управлению контекстами, да и мы зашли уже куда-то в IDE плагин нормальный + хорошо эиулируемые среды, способные к быстрому анализу/переключению контекстов.
я считаю анализаторы контекста всегда будут превосходить ИИ
для меня есть разница внутри группы статических анализаторов,
ИИ как анализатор ошибочен,
как я уже выше писал набор «уязвимостей» однообразен в контексте работы виртуалки и общеизвестен, основной набор ошибок исходит из бизнес логики, когда многие детали не учитываются, отсюда исходит что для статического анализа нужны инструменты способные анализировать не только ошибки работы с виртуалкой(сложным там будет ассембли и math), но и возможность параметризовать логику и анализировать код исходя из нее —> то есть нужна работа с контекстом чтобы разработчик мог выявлять дыры на уровне бизнес логики: например когда хранилище общее, а доставать из него нужно в разные места токены, однако разраб забыл что нужно сохранять объем ревеню исходя из первоначальной ставки а не уже мутированной, тогда то и возникают разного рода неприятные события ) и всякие такие моменты.
итог стат анализатор и контекстный анализатор, ИИ со вторым работает мягко говоря плохо, конечно лучше было бы создать библиотеку как OZ, которую можно было наполнять проверенными подходами и давать им системную визуализацию, чтобы обычные ребята могли понимать как с этим работать(в сути параметризовать эмуляции логики) <—- это сложный инструмент и реализовать его быстро не получится
Всем привет, делаем в Nethermind такой инструмент для автоматического аудита солидити смарт-контрактов (сейчас бета), если кому-то скоро проходить аудит или просто хочется какой-то свой проект оценить с точки зрения безопасности, хороший шанс получить ревью кода нашим тулзом (бесплатно взамен на честный фидбэк). Пишите мне в личку или оставьте телегу в форме на лендинге.
Читать полностью…А вообще есть какой нибудь сайт или агрегатор с ивентами связанными с эфиром и разработкой под него, хакатоны и тд?
Читать полностью…Salary 12000k USD.
Positioning : Web3 Crypto Trading.
platform Engineer
Join our expanding team, We recently secured $3M funding to grow further.
Requirements:
• Proficiency in Go / Rust
• Experience in trading/sniper/MEV bot development, Geth customizations.
• Familiarity with latency optimization and high-performance applications
• General dev-ops, networking knowledge
• Solidity, SQL, Mongo, Postgres, Redis, Cloud (Hetzner/AWS) expertise
• Fast, clear-thinking coder for high-stakes MEV trading
• built trading bots/sniper bots!
• Smart contract development experience
- contract emulation on the evm level
- solana
- MPC
Nice to have:
• Track record of tackling cool, challenging projects
Our Web UI is set. Work alongside our lead developer on trading strategies. Long-term position. Interested? Submit your resume, cover letter, and GitHub links. We're eager to connect with top talent!
Contract : DM