Compile-time tests for types. Useful to make sure types don't regress into being overly-permissive as changes go in over time.
How the donated funds are distributed
Kivach works on the Obyte network, and therefore you can track all donations.