build & verify merkle trees · keccak-256 · sha-256 · proof generator · solidity export · runs locally