Tagged: smart-contracts
15 projects across the lattice ecosystem.
Videos & Talks
- CVM Hacks CVM hacks — techniques and patterns for programming the Convex Virtual Machine in Convex Lisp.
- Coding Common Features in Smart Contracts Coding common smart contract features on Convex — reusable patterns built with Convex Lisp primitives.
- Rethinking Smart Contracts: A New Paradigm for Trust and Automation Rethinking smart contracts — a new paradigm for trust and automation in open economic systems.
Convex Architecture Documents
- CAD004: Accounts Unifies user wallets and smart contracts into a single account primitive — each one a tiny sovereign Lisp machine with its own environment and Ed25519 key. Key rotation without changing address (something Ethereum externally-owned accounts cannot do) falls straight out of this model.
- CAD011: Error Handling Gives every CVM expression exactly three outcomes (success, error, exceptional exit) with try granting atomic rollback on catch — errors become data, not undefined behaviour. Fixes the Solidity-era mistake where a revert in a dependency silently poisoned whole contract flows.
- CAD012: Numerics Provides a full numeric tower — arbitrary-precision integers up to 32 Kbits plus IEEE754 doubles — so prediction markets, AMM maths and share-pool division work natively on-chain without fixed-point hacks. Ethereum's integer-only VM forces all of this into library gymnastics.
- CAD014: Convex Name System Provides trusted mutable human-readable references (@convex.trust → the current authoritative actor) so ecosystem-wide upgrades happen without touching caller source. DNS-for-smart-contracts: contract addresses stop being the API surface, names do.
- CAD018: Scheduler Lets actors schedule CVM code to execute at a future timestamp with guaranteed execution and pre-paid juice, with hard O(log N) overhead to block DoS. Unlocks autopay, auctions, vesting and deadlines natively instead of relying on off-chain keeper bots like most EVM chains require.
- CAD019: Asset Model One polymorphic asset/transfer that accepts fungible tokens, NFT sets, derivative contracts and asset types not yet invented — generic contracts can handle anything ownable. Replaces the ERC-20/721/1155/4626 zoo with a single universal SPI.
- CAD022: Trust Monitors Composable on-chain subject-action-object authorisation modules based on the TCSEC B3 reference-monitor model — sandboxed, callable in query mode, reusable across contracts. Access control becomes a first-class shareable component instead of ad-hoc modifiers copied into every contract.
- CAD026: Convex Lisp A Clojure-inspired homoiconic Lisp tuned to the CVM's immutable persistent data structures, compiling on-chain and supporting REPL-driven development against a live network. General-purpose languages aren't deterministic enough and Solidity can't express the CVM's richer account model — Lisp is the pragmatic fit.
- CAD027: Event Logging A built-in log function emits verifiable events without requiring peer instrumentation or re-running historical state — auditors, wallets and indexers can subscribe to exactly what contract authors declare is meaningful. Cleaner than screen-scraping EVM logs with ABI guessing.
- CAD029: Fungible Token Standard The CAD19-conformant replacement for ERC-20/ERC-777 — integer balances, decimals, mint/burn, all accessible through the universal asset API rather than duplicated interface boilerplate. Writing a new token is defining the rules, not re-implementing transfer.
- CAD030: Torus DEX An on-chain AMM where any CAD29 token gets a market on first request, routing through a canonical actor rather than deployed-per-pool factory contracts. Shows the universal asset model paying off — one DEX speaks every token, invented or not.
- CAD034: Curated Registry A generic on-chain registry pattern with CAD22 trust-monitor gating — one actor can host many registries for DAO memberships, verified token lists, accredited organisations. Lets ecosystems publish lists with controlled curation instead of every dApp shipping its own allow-list contract.