Zcash researchers published more than 2,700 machine-checked theorems designed to rule out undetectable counterfeiting bugs in Ironwood.
eBook | Regulatory Guide to Money Transmission and Payment Laws in the U.S. (3rd Edition)