Results for Hal Finney thesis