The project’s founder says it can verify “any computable function” on Bitcoin, though other crypto developers say it's probably overhyped.