Smart contracts that run capital, designed and shipped to mainnet.
The architecture is designed with the client, and the contracts are written from that specification up. They are unit tested, fuzzed, and fork tested before they reach an auditor, and the engineers who wrote them stay for the audit findings, the deployment, and the upgrades that follow.
Token systems
ERC-20 with permit, LayerZero OFT multichain deployments, and role-gated supply control.
Vault systems
ERC-4626 vaults, net asset value computation, asynchronous redemption queues, and strategy connectors.
Stablecoin and RWA
Supply controllers, custodian routing, proof of reserve integration, and sanctions screening.
Governance and safety
Timelocked multisigs, guardian pause mechanisms, and UUPS upgradeability.
Verification
Unit tests, fuzzing, property-based tests, and fork tests, with collaboration alongside the external auditor.
TAU Labs
ERC-4626 vaults for every strategy TAU Labs curates.
Taler
A multi-chain vault protocol, from the contracts to the web application.
DRE
A property-credit stablecoin, from the contracts to the transparency dashboard.