Chainwall
An approval and execution system that rechecks the exact operation against current onchain rules, then runs it through a protected account.
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.
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.
An approval and execution system that rechecks the exact operation against current onchain rules, then runs it through a protected account.
An open-source reactive state graph for TypeScript applications, built to keep asynchronous state and dependencies understandable.
Human-readable, machine-executable descriptions that let interfaces and automation share one explicit operation intent.
Public writing, talks, tests, and formal methods that make technical claims easier to inspect.
The Labs approach becomes concrete product constraints in Chainwall's contracts, SDK, browser console, tests, and security claims.
Interfaces and services should help people understand and submit actions, but smart contracts should decide whether an action is allowed.
Teams should be able to see which people, approval rules, workflows, contracts, accounts, and admin paths can affect funds in a protected account.
Granting new authority should require more approval, time for review, monitoring, and a way to cancel than running a routine action.
Connect each security claim to the contracts, tests, and assumptions that support it.
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.
Talks and panels from OKcontract Labs on onchain security, AI agents, smart-contract interfaces, censorship resistance, open-source libraries, and verifiable systems.
We can help you define the checks and waiting periods for your accounts, contracts, and approval rules.