Skip to content

Chainwall is built by OKcontract Labs

OKcontract Labs researches and builds inspectable onchain systems. Chainwall applies that work to privileged operations: smart contracts check the exact call, current approvals, permitted contracts, and protected account path before execution.

Research, open-source foundations, and security products

OKcontract Labs works on transaction specifications, policy-constrained execution, formal methods, and resilient application infrastructure. Chainwall brings those ideas together for teams operating important onchain accounts.

Chainwall

An approval and execution system that rechecks the exact operation against current onchain rules, then runs it through a protected account.

Cells

An open-source reactive state graph for TypeScript applications, built to keep asynchronous state and dependencies understandable.

Verifiable interactions

Human-readable, machine-executable descriptions that let interfaces and automation share one explicit operation intent.

Research and evidence

Public writing, talks, tests, and formal methods that make technical claims easier to inspect.

Explore OKcontract Labs

Keep the final decision inspectable and onchain

The Labs approach becomes concrete product constraints in Chainwall's contracts, SDK, browser console, tests, and security claims.

Contracts make the final decision

Interfaces and services should help people understand and submit actions, but smart contracts should decide whether an action is allowed.

Make access easy to inspect

Teams should be able to see which people, approval rules, workflows, contracts, accounts, and admin paths can affect funds in a protected account.

Delay sensitive changes

Granting new authority should require more approval, time for review, monitoring, and a way to cancel than running a routine action.

Match claims to evidence

Connect each security claim to the contracts, tests, and assumptions that support it.

See the research and software around Chainwall

The Labs site covers the broader work: safer smart-contract interfaces, reusable transaction descriptions, onchain workflows, formal methods, and controls for AI agents that submit transactions.

Selected Talks

Talks and panels from OKcontract Labs on onchain security, AI agents, smart-contract interfaces, censorship resistance, open-source libraries, and verifiable systems.

Help shape safer tools for privileged onchain operations

We can help you define the checks and waiting periods for your accounts, contracts, and approval rules.

Request access