Contracts for Compact

Install the library, write a contract from its modules, and compile it.

Compose contracts from modules with the Module/Contract pattern.

Learn how Compact code compiles to circuits and what drives their cost.

Restrict circuits to a single owner, with a shielded-owner variant.

Grant and enforce permissions with role-based access control.

Role-based access control that hides who holds each role.

Initializable, Pausable, Allowlist, and Blocklist modules.

Fungible tokens, an approximation of EIP-20.

Non-fungible tokens, an approximation of EIP-721.

Multiple token types in one contract, an approximation of EIP-1155.

Mint and burn Midnight shielded coins of the contract's own color.

Fungible tokens with ElGamal-encrypted balances on the public ledger.

ElGamal and EcdhMask encryption over Jubjub, the ECDSA low-s rule, and the EIP-712 envelope.

Signer registry, proposals, treasuries, and threshold-ECDSA presets for contract-held funds.

Account identifiers, helper circuits, and EVM ABI word encoding.

Circuits, ledger state, and errors of the AccessControl module.

Circuits, ledger state, and errors of the ConfidentialFungibleToken module.

Circuits and types of the ElGamal, EcdhMask, Ecdsa, and Eip712 modules.

Circuits, ledger state, and errors of the FungibleToken module.

Circuits, ledger state, and errors of the MultiToken module.

Circuits, ledger state, and errors of the multisig modules.

Circuits, ledger state, and errors of the NativeShieldedToken module.

Circuits, ledger state, and errors of the NonFungibleToken module.

Circuits, ledger state, and errors of the Ownable module.

Circuits and errors of the Initializable, Pausable, Allowlist, and Blocklist modules.

Circuits, ledger state, and errors of the ShieldedAccessControl module.

Circuits of the Utils and EvmAbi modules.