Writer & Researcher at Taiko, Type-1 ZK-EVM