Deep Dive on the Design of R3 Corda