Web3 & Blockchain
Smart Contracts Engineered for Security, Clarity and Auditability.
What we build
Smart Contract Development, end to end.
DeFi Financial Primitives & Vaults
Autonomous smart contracts managing collateralized debt, automated liquidity routing, and yield compounding.
- ERC-4626 tokenised vault standards
- Automated market maker (AMM) math
- Flash loan liquidity logic
- Multi-oracle price aggregation
Multi-Signature & Governance Systems
Decentralised treasury management contracts requiring multiple cryptographic signatures to execute disbursements or upgrades.
- Gnosis Safe plugin integrations
- Timelock delay execution modules
- Quorum-based DAO voting logic
- Emergency circuit breaker pauses
NFT & Dynamic Metadata Contracts
Gas-optimised ERC-721A and ERC-1155 smart contracts featuring on-chain traits, staking, and royalties.
- ERC-721A batch mint gas optimisation
- Merkle tree whitelist verification
- ERC-2981 royalty standards
- Dynamic SVG on-chain rendering
Problems we solve
Common friction, addressed directly.
The problem
Catastrophic re-entrancy, arithmetic overflow, or logic flaws leading to stolen contract funds.
Our approach
We enforce strict Checks-Effects-Interactions patterns, ReentrancyGuards, and automated property fuzzing in Foundry.
The problem
Exorbitant gas costs causing users to abandon transactions during network congestion.
Our approach
We optimise storage slot packing, replace memory with calldata, and write assembly (Yul) snippets for hot execution paths.
The problem
Inability to upgrade contract logic when business requirements or protocols evolve.
Our approach
We architect secure UUPS (Universal Upgradeable Proxy Standard) and Diamond (ERC-2535) multi-facet proxy architectures.
Capabilities
Standards we work to.
Foundry & Hardhat Test Suites
Comprehensive automated tests covering edge conditions, re-entrancy and fuzzed inputs.
UUPS & Diamond Proxy Upgradability
Designing upgradeable contracts that preserve state while allowing secure logic enhancements.
Gas Profiling & Yul Assembly
Reducing bytecode size and minimising storage writes on hot paths.
Third-Party Audit Readiness
Providing clean NatSpec documentation, architectural diagrams, and Slither/Mythril analysis reports.
Kizoona Tech · Stack
Tools we typically use.
Languages
- Solidity (0.8.x)
- Rust
- Yul (Inline Assembly)
- Vyper
Testing & Profiling
- Foundry (Forge/Cast/Anvil)
- Hardhat
- Slither
- Echidna
Security Standards
- OpenZeppelin
- Solady
- Chainlink Oracles
- EIP-2535 Diamond
Auditing & Security First
- NatSpec documentation for every function, parameter, return value, and custom error
- Custom errors instead of expensive revert strings to minimise bytecode deployment gas
- Checks-Effects-Interactions pattern enforced on all state-modifying functions
- Zero compiler warnings with strict optimizer settings enabled
Delivery
How a typical engagement runs.
- 01
Specification & State Diagram
Documenting all contract state variables, modifiers, roles, and allowed state transitions.
- 02
Gas-Optimised Development
Coding the contracts using modern Solidity 0.8.x with Solady / OpenZeppelin foundations.
- 03
Automated Fuzz & Invariant Testing
Running Forge fuzzing with large numbers of random inputs to stress-test assumptions.
- 04
Static Analysis & Audit Package
Generating Slither reports, NatSpec documentation, and test coverage metrics (>95% target).
- 05
Deterministic Deployment & Verification
Deploying via CREATE2 for identical addresses across chains, verified on block explorers.
Representative scenarios
Where this service fits.
Illustrative examples of the kinds of problems this service addresses and how we would approach them. They are not client case studies.
Institutional Asset Staking Vault
Typical challenge
A crypto fund required an ERC-4626 vault contract to automate yield compounding while preventing sandwich attacks.
How we would approach it
An ERC-4626 vault with slippage and price-manipulation protections, prepared for independent audit.
Enterprise Multi-Sig Timelock Treasury
Typical challenge
A Web3 organisation needed a multi-tier governance contract requiring 4 of 7 signatures with a mandatory 48-hour delay.
How we would approach it
A verified multi-signature timelock contract through which every treasury proposal must pass.
Security & performance
Considerations built in from the start.
- Checks-Effects-Interactions (CEI)Preventing re-entrancy vulnerabilities at the foundational architectural level.
- NatSpec & CREATE2 DeterminismDeploying with CREATE2 ensures identical contract addresses across all EVM networks.
FAQ
Questions we are often asked.
Can smart contracts be changed after they are deployed to mainnet?
Standard smart contracts are immutable and cannot be altered. However, if upgradeability is required, we implement well-established proxy patterns (such as UUPS or Diamond ERC-2535) that allow updating the logic implementation while keeping state data permanent.
How do you test smart contracts before deployment?
We write extensive unit tests, integration tests, and invariant fuzz tests in Foundry, running many randomised runs to check that key invariants hold.
What is gas optimisation and why does it matter?
Gas is the transaction fee users pay to execute code on a blockchain. By carefully packing storage variables, avoiding redundant memory allocations, and using assembly where appropriate, we can meaningfully reduce the fees your users pay.
Do you supply documentation for third-party security auditors?
Yes. We provide complete NatSpec documentation, sequence diagrams, threat models, and Foundry test execution scripts ready for auditor review.
Related work
Relevant projects.
- Client2025AXNS ProtocolA decentralised liquidity and asset-management protocol, pairing a considered smart-contract architecture with a clear, institutional-grade web interface.View project
- Concept2026FinTech TreasuryAn internal concept exploring a unified treasury and multi-currency payout terminal for fast-growing international businesses.View project
- Concept2026Vortex AnalyticsAn internal concept for an on-chain intelligence console that tracks protocol yields, contract anomalies and cross-chain wallet balances.View project
Connected services
Often combined with.
- Blockchain DevelopmentFull protocol and Layer 2 infrastructure hosting your smart contracts.
- DApp DevelopmentBuild intuitive web frontends that interact with your smart contracts.
- Web3 Wallet DevelopmentAllow users to securely sign and execute smart contract interactions.
Start a conversation
Planning a smart contract development project?
Send a short brief on WhatsApp or through the project form. We will reply with questions, a suggested approach and an indicative timeline.