Ми з гордістю повідомляємо, що Invariant Suite, який ми написали для Superform, тепер став публічним! Цей пакет є результатом 4-тижневого тестування інваріантного тестування та 3-тижневого аудиту, що проходять паралельно. Тисячі рядків коду, 120 протестованих властивостей. Посилайтеся на нашій сторінці аудитів!