Ship your token or protocol on-chain, audited before mainnet.

// Linear vesting with cliff
contract VestingVault {
  using SafeERC20 for IERC20;
  uint256 public immutable cliff;
  uint256 public immutable duration;

  function release() external {
    uint256 amt = vested() - released;
    require(amt > 0, "nothing vested");
    released += amt;
    token.safeTransfer(msg.sender, amt);
  }
}

function invariant_TotalSupplyEqualsBalances() public {
  uint256 sum = 0;
  for (uint256 i = 0; i < holders.length; i++) {
    sum += token.balanceOf(holders[i]);
  }
  assertEq(token.totalSupply(), sum);
}

// Echidna fuzz: 1,000,000 sequences, 0 failures.