zengzengzenghuy

// SPDX-License-Identifier: LGPL-3.0-only
pragma solidity ^0.8.17;

import {Yaru} from "../Yaru.sol";
import {Module, Enum} from "@gnosis.pm/zodiac/contracts/core/Module.sol";

contract TestHashiModule is Module {
    event HashiModuleSetup(
        address indexed initiator,
        address indexed owner,

zengzengzenghuy

Open this in Axiom REPL →

zengzengzenghuy

// SPDX-License-Identifier: LGPL-3.0-only
pragma solidity ^0.8.17;

interface IHashiExecutor {
  function onMessage(bytes data, bytes32 messageId, uint256 fromChainId, address from);
}

zengzengzenghuy

// SPDX-License-Identifier: MIT
// OpenZeppelin Contracts (last updated v5.0.0) (utils/math/Math.sol)

pragma solidity ^0.8.20;

/**
 * @dev Standard math utilities missing in the Solidity language.
 */
library Math {
    /**

zengzengzenghuy

// taken here: https://github.com/maticnetwork/contracts/blob/main/contracts/common/lib/Merkle.sol
pragma solidity ^0.8.20;

library Merkle {
    function checkMembership(
        bytes32 leaf,
        uint256 index,
        bytes32 rootHash,
        bytes memory proof
    ) internal pure returns (bool) {

zengzengzenghuy

const { Trie } = require("@ethereumjs/trie")
const { RLP } = require("@ethereumjs/rlp")
const { bufferToHex, toBuffer } = require("@ethereumjs/util")
// const { hexlify } = require("ethers")

import { isHexString } from "@ethereumjs/util"
import {
  createWalletClient,
  http,
  Chain,

zengzengzenghuy

{
    "@context": [
        {
            "@protected": true,
            "@version": 1.1,
            "id": "@id",
            "type": "@type",
            "EmploymentProof": {
                "@context": {
                    "@propagate": true,

zengzengzenghuy

pragma solidity 0.5.10;


interface IValidatorSetAuRa {
    function addPool(address, address) external returns(uint256);
    function initialize(
        address,
        address,
        address,
        address[] calldata,

zengzengzenghuy

pragma solidity 0.5.10;


interface IValidatorSetAuRa {
    function addPool(address, address) external returns(uint256);
    function initialize(
        address,
        address,
        address,
        address[] calldata,

zengzengzenghuy

require("log-timestamp");

import { HyperClient, MessageStatusWithMeta } from "@polytope-labs/hyperclient";
import { config } from "dotenv";
import {
  createPublicClient,
  createWalletClient,
  decodeFunctionData,
  getContract,
  http,