embbed .py files in the binary#214

Merged

TomWambsgans merged 2 commits intomainfrom

embed-zkdsl-implem

May 6, 2026

Commits on May 6, 2026

move rec_aggregation .py files into zkdsl_implem/
TomWambsgans
committed
embedd zk_dsl files in `rec_aggregation` crate into the binary. Alternative to https://github.com/leanEthereum/leanMultisig/pull/212

TomWambsgans
and
kevaundray
committed