Generate test vectors for solidity implementation