blockchainkit.contracts#
A world-state model of contracts calling contracts: token standards, wallets, proxies and their famous failures, with Hoare logic, symbolic execution and fuzzing.
History
The breakthroughs behind this subpackage, linked to the implementation.
Examples
The runnable example gallery.
API reference
Every public class and function.