# Smart contracts

# Zinc

Zinc is a framework for constructing R1CS-based SNARK circuits and smart contracts for zkSync platform. It includes a simple, safe and efficient high-level programming language for defining zero-knowledge circuits, and a ZKP-friendly runtime execution environment. Zinc is designed to make developing scalable and privacy-preserving smart contracts easy.

Zinc documentation.

Zinc on GitHub.

Zinc Alef, the testnet for smart contracts on zkSync is live with Curve Finance as the first resident dapp!

Check out the intro post.