I have tried looking into existing solutions such as ZKSync. I couldn't understand why you would rewrite your smart contracts in a different language - Zinc (as opposed to Solidity/Vyper).
Most of the ZKP frameworks such as Zokrates, Circom, SnarkJS, gNARK etc. are designed for creating circuits, quadratic arithmetic programs and internal representations. Zinc is a fresh attempt to bring smart contracts to the ZKP frameworks with good guarantee for safety and security. It is constructed as a smart contract language optimized for ZKP circuits.