Turso

Fuzz testing surfaced and fixed a batch of bugs in the SQL engine, detailed in a new engineering post.

The SQL engine hardened through two phases. v0.6.0 shipped generated and virtual columns, UPDATE FROM, CREATE TABLE AS SELECT, ORDER BY NULLS FIRST/LAST, and triggers enabled by default. Per-connection query timeouts reached the JavaScript and serverless bindings; a SQLAlchemy asyncio dialect arrived for Python. v0.6.1 followed with eight MVCC correctness fixes covering savepoint rollback, checkpoint integrity-check reprepare, stale B-tree cursor residency, and duplicate index entries for interior index keys.

Formal verification and fuzz testing caught bugs the test suite missed. An engineering post describes using the Quint formal modeling tool to locate over 10 bugs in SQLite during hardening work. A second post covers how fuzzing — framed around Edgar Allan Poe — uncovered additional issues in the database engine.

The rewritten Rust-based CLI is advancing through pre-releases. v0.7.0-pre.7 is the latest build available for testing. The stable CLI (v1.0.28) added group token generation support for the v3 API and fixed organization list key isolation.

Platform access expanded and the ecosystem opened up. Unlimited active databases rolled out for all plans. A rebuilt Turso Cloud entered private beta. Stripe Projects integration enables scoping unlimited databases per project. A Startup Program and a Partner Program opened for applications. The bug bounty program was retired.