|
|
|
|
|
|
by int_19h
3655 days ago
|
|
|
Given that trust is the single most critical aspect of the entire platform, why doesn't it use languages (for both the platform, and the contracts), programs in which can be easily formally verified, and for which tools for such verification already exists? |
|
|