Featured
注目の解説
Latest
最新記事
ERC-6909とERC-1155の違い|ID別権限・batch・callbackを実装比較
ERC-6909とERC-1155を同じtoken ID・残高・送付順で実装し、operator、ID別allowance、batch、receiver callback、event、metadata、gasを比較します。
Foundry fork test入門:block固定・state変更・simulationの境界を理解する
Foundryのfork testをblock number/hash、RPC、archive、fork ID、prank・deal・store・etch・warp・rollの変更履歴まで固定し、eth_callや実transactionとの境界を検証します。
Solidityビルド設定入門:optimizer・via-IR・EVM versionとbytecodeを比較する
同じSolidity sourceをoptimizer runs、via-IR、target EVM、metadata、solc versionの7条件でビルドし、bytecode、size、deploy gas、runtime gas、挙動を分けて検証します。
Reentrancyの種類と防ぎ方:cross-function・read-only・callbackをFoundryで再現する
Solidityのreentrancyをclassic、cross-function、cross-contract、read-only、token callback、delegatecallに分け、CEIとguardの射程をFoundryで検証します。
Diamond Proxyの読み方:EIP-2535 facet・selector・storage・upgradeを検証する
EIP-2535 Diamondのselector routing、facet、loupe、DiamondCut、initializer、storage pattern、upgrade authorityをローカル環境で検証します。
ERC-7201 Namespaced Storage入門:upgrade時のstorage collisionを検証する
ERC-7201のnamespace IDとroot計算、storage-location annotation、安全な末尾追加、危険な並べ替え・型変更・ID typo、upgrade validationの境界をlocalで検証します。
Minimal Proxyとは:EIP-1167 cloneのbytecode・initializer・factoryを検証する
EIP-1167 minimal proxyの45-byte runtime、埋め込みimplementation、delegatecall、initializer、CREATE2 factory、immutable args、調査手順をlocalで検証します。
CREATE2入門:salt・init codeからcontract addressを予測して安全にdeployする
CREATE2 addressをfactory・salt・init codeから計算し、constructor、library、metadata、proxy、clone、collision、counterfactual deploymentの境界を検証します。
SELFDESTRUCTはcontractを消す?EIP-6780後のcode・storage・再deployを検証
EIP-6780後のSELFDESTRUCTをcode、storage、balance、nonce、同一transaction例外、CREATE2再deployへ分け、ShanghaiとCancunで検証します。
DeFi Oracleの読み方|decimals・staleness・TWAP・L2停止を検証
DeFiの価格をfeed address、decimals、round、updatedAt、L2 sequencer、TWAP、fallbackへ分解し、利用可否と停止条件をFoundryで検証します。
3MIKANの読み方
仕組みをほどき、実例で確かめる技術メディアです。
図解で理解
複雑な仕組みを、図と例で順番に整理します。
実例とコード
検証コードやログを通じて、挙動を確かめます。
正確で誠実に
一次情報と再現性を大切にして発信します。










