Williams, Austin K., OpenZeppelin, United States