Существует ли нечто подобное corpus wycheproof, которое содержит сценарии, приведшие к тому, что разные реализации EVM генерировали недействительные корни состояния? Кажется, это огромная возможность для тех, кто тестирует новые оптимизации/создает новые клиенты...