version 1.0 alpha without invalid input proof