Вижу

Но тогда надо на нее репр повесить

ну вот он и висит

Ото порядок и выравнивание для структур репр(раст) не стабилизировано

А, понял

короче ансейфы всплывают только когда ты совсем уже с машиной общаешься или с сишными указателями

а так - никогда не нужно было

Мне ансейф скорее всего понадобятся, но я хз где их практиковать

Ну и это пока просто пук в лужу, наверное начинать не с этого надо

В общем советую навесить туда ещё репр(с)

Плюсом к алигн 8

Это зафиксирует порядок полей

там ж одно поле

пример про дженерики-против-енумов. У нас в zkvm есть два режима - Prover и Verifier. Сначала код транзакции прогоняется через Prover, где создается пруф. А потом - через Verifier, где пруф проверяется.

Так вот в представлении кода на стороне прувера все куски данных - "богатые", у них есть всякие секретики, деревья и т.д. в доступе. А на выходе - "голый" байткод, где все секреты сплющены в публичные ключи или коммитменты.

Так вот первоначальная попытка была сделать все эти типы - генериками с трейтами. Чтоб полный zero cost курильщика получился.

вышло, я бы сказал, хуевовато.

а когда заменили на енумы - сразу красота

Когда понадобится тогда и поймешь почему)

Ну а так кроме ффи есть еще оптимищации и коллекции