Tackling Blockchain Scalability With Rho Calculus