Brandon Kase

How hard is this? The other thing in the pipeline for a while is transitioning the signer to depend on wasm from a rust implementation. Maybe we could still do...

If we (a) make this file [scripts/compare_versioned_types.py](https://github.com/MinaProtocol/mina/pull/11789/files#diff-a7955128b7a2cf1faf8d02302417c189649253a87b184223d92757a2d05e2d56) have a strict CODEOWNERS so we don't accidentally add bad files (delegate to @joseandro for deciding which person(s) or teams should be on...

The comments look good to me but we need the CODEOWNERS change too, I’ll ask @joseandro to comment again

@cnicolai This is awesome! Sorry for not responding sooner -- I accidentally cleared my notifications at one point. I think we should include your write-up in a markdown file that...

Alternatively we can just overload `+` and `*`

There's an additional thing that is not the same: Circuit just has one entrypoint and ZkProgram has multiple entrypoints.