Contratos is a programming language to type contracts between classes, processes and packages.
How the donated funds are distributed
Kivach works on the Obyte network, and therefore you can track all donations.