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.

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Not the answer you're looking for? Browse other questions tagged or ask your own question.