EVM & Solana Utility Tools

Keccak Merkle proof verifier — validate inclusion plus exact leaf index and count proof shape for the Atlas sorted-pair tree profile.

Solana Program Derived Address (PDA) calculator — derive the canonical off-curve address and bump from bounded public seeds offline, without RPC or key handling.

Strict Solidity ABI calldata decoder — decode canonical EVM smart-contract function calls or typed values, verify selectors, and reject ambiguous offsets or padding.

Solidity ABI calldata encoder — encode canonical typed values for an EVM smart-contract function call, with an optional selector and exact 256-bit integers.

EVM address checksum and validation tool — normalize one Ethereum-compatible address and validate mixed-case EIP-55 input offline.

CREATE2 deterministic contract address calculator — derive the EIP-1014 EVM deployment address, preimage, hashes, and EIP-55 checksum offline without RPC.

Keccak Merkle tree and proof builder — generate indexed sorted-pair inclusion proofs with domain separation and explicit odd-node promotion.