Лично я не отношу шифропанков-криптоанархистов к параноикам, Скорее это люди, которые не верят и не признают ничего, кроме алгоритмически доказуемого криптоалгоритмом. Обсуждаемый здесь биткойн является именно таким явлением.
Это было образное выражение, ровно в той же степени как и ваши панки-анархисты...
Я не совсем понял, что вы имели в виду под "алгоритмически доказуемым криптоалгоритмом", однако справедливости ради стоит отметить, что устойчивость криптоалгоритма, лежащего в основе биткоина, отнюдь не доказана...