As a heads up on Monero’s current plans regarding ZK circuits as a whole, it’s effectively confirmed Monero has no interest in Orchard. The next transaction protocol, Seraphis, has different design goals and considerations than Zcash. I volunteered to prototype a specific proof in a ZK circuit, and plan to initially do so in Halo 2 given it has an elliptic curve cryptography available. If the initial prototype holds weight, it’ll be probably be moved to Dalek’s Bulletproofs though before discussing the best way for it to fit into Monero. This not only means that Monero doesn’t have interest in Orchard, yet at this time is more interested in circuits over BP+ than Halo 2 (in order to better integrate with the existing code and other proofs in use).
I hope Monero as a topic is dropped from licensing discussions, as it was in the new thread, and we instead focus on what Orchard’s license means for Zcash. In my opinion, that’s more corporate control, limiting the community’s freedom yet potentially offering indirect, undetermined financial rewards to the community, and the inability for certain integrations (such as my own shielded atomic swap implementation which relies on a slightly tweaked librustzcash, meaning I’d presumably need to get permission from all contributors to relicense and…).