スマートコントラクトエンジニアリング
スマートコントラクトは価値を保持する変更不能なプログラムであり、欠陥は公開され、多くの場合取り返しがつきません。私たちはEVMネットワーク向けにSolidityで実装し、小さく組み合わせ可能なコントラクト、明示的なアクセス制御を基本とし、独自実装よりも監査済みのライブラリコードを優先します。テストでは、ユニットテスト、ファジング、インバリアントテスト、実際のチェーンの状態に対するフォークテストを組み合わせ、そのうえで独立した監査に臨みます。
- EthereumとEVM互換ネットワーク向けのSolidity
- FoundryとHardhatによる開発・テストツール
- OpenZeppelinのコントラクトライブラリ
- ERC-20、ERC-721、ERC-1155、ERC-4626のトークン規格
- タイムロックとマルチシグ管理を備えたプロキシアップグレードパターン
- Slitherによる静的解析とプロパティベースのファジング
