Snowbridge links Polkadot and Ethereum through a trustless light-client bridge. Our reviews focused on proof verification, message validity, and the security of the trust boundaries that make cross-chain transfers possible.
ZKsync OS is a new RISC-based execution system for the next generation of zkSync. Our review focused on the bootloader, EVM implementation, cache logic, and transaction processing at the core of the rollup architecture.
KILT is a protocol for self-sovereign data and interoperability built on top of the permissionless KILT blockchain. Secured by Polkadot, it’s secure, sustainable, and practical, with open-source tools, fiat payment options, and W3C-recognized DIDs driving global adoption.
Gno.land aims to become the leading open-source smart contract platform, using Gno language ⸺ an interpreted and fully deterministic variation of the Go programming language for succinct and composable smart contracts.
With transparent and timeless code, gno.land is the next generation of smart contract platforms, serving as the “GitHub” of the ecosystem, with realms built using fully transparent, auditable code that anyone can inspect and reuse.
RoofRide is a cross-chain DEX built on the concept of atomic swaps, providing users with the highest possible level of security for exchanging assets between L1 blockchains. We have designed and prototyped the DEX for our client, which involved developing smart contracts in Solidity, creating a web app prototype integrated with the Helios light client, and designing a fully custom, off-chain P2P transport protocol for distributing and executing swap orders
- Architecture of DEX
- Atomic Swap prototype
Helios represents a shift toward truly trustless blockchain interaction. Unlike traditional RPC providers that require users to trust third-party infrastructure, Helios enables direct verification of blockchain data. With Helios, you get the power and security of a full node in a lightweight package—perfect for dApps, wallets, or any platform looking for seamless, decentralized integration.
Axelar is a cross-chain General Message Passing platform unlocking cross-chain swaps and calls across multiple networks. The audit was conducted on Code4rena and included thorough code review of Interchain Token Service contracts and gateways on Ethereum and Cosmos
Dusk is a layer-1 network designed for regulated financial applications. Our review focused on the Rusk node and consensus-related components, examining protocol logic, node safety, and failure modes that could affect network integrity.
Hyperlane connects chains through a modular interoperability layer. We reviewed its cross-chain integration components with a focus on message validity, replay resistance, and the trust assumptions behind Cosmos-to-EVM communication.
Our team conducted security audits for two innovative interchain solutions:
Valence Services' Rebalancer a powerful tool enabling automated treasury management for blockchains, protocols, and DAOs. The Rebalancer efficiently handles token conversions for scheduled payments and portfolio management across the interchain ecosystem.
Covenants, the interchain agreement system allowing IBC-enabled parties to form multilateral alliances through token swap agreements and protocol-owned liquidity arrangements. These modular contracts can be deployed in various configurations to suit specific protocol needs, ensuring secure cross-chain collaboration and economic relationships between crypto-native organizations.
Transmuter is a CosmWasm contract for X:Y swapping between multiple tokens with no fees, integrated with the Osmosis zone which is a blockchain run by 150+ validators and full nodes, with many front-ends and development teams on it.
As the first implementation of IBC bridging to DotSama, Centauri enables the possibility for users to move digital assets seamlessly between the Polkadot/Kusama (DotSama) ecosystems and the blockchains connected to the IBC, such as the Cosmos ecosystem.
This library is Ethereum's serialization scheme implemented in Rust and is crucial for building Ethereum consensus clients in Rust. It made possible fast, secure serialization and Merkleization of Ethereum consensus data in Rust. With SSZ, Ethereum 2.0 achieved scalable, verifiable state transitions, efficient light clients, and secure consensus through hash tree roots and compact proofs. This enabled high performance, trustless validation, and composable protocols powering Ethereum’s decentralized upgrades and innovations.
DAO DAO makes it easy to create and manage DAOs through a user-friendly visual interface. DAOs built with DAO DAO are compatible with IBC (Inter-Blockchain Communication), which means your organization can interact with and manage assets or protocols across any IBC-enabled blockchain, like Osmosis, Stargaze, and Juno.
NYM is a decentralized privacy project focused on providing strong network-level privacy for users and applications across multiple blockchains. Instead of just encrypting data payloads (like transactions), NYM uses a mixnet to obscure both the content and metadata of network traffic, making it hard for observers to trace communications or determine who is talking to whom. The network is underpinned by an open-source, permissionless model—anyone can run a NYM node or build apps that leverage the network’s privacy features.
Syntropy develops decentralized systems including a blockchain and Decentralized Autonomous Routing Protocol. We’ve prototyped custom networks using Polkadot SDK and Polygon Edge, analyzed EVM network scalability, performed performance testing and stress tests. Our work also includes deploying and testing and Polygon SDK, Avalanche, and Fantom, alongside security assessments of the earliest cross-chain solutions like ChainBridge and private network scripts.
- custom Substrate network
- custom Polygon Edge network
- scalability analysis of EVM-networks
- performance analysis, stress testing
- test deployments of ChainBridge
- test deployments of Avalanche
- test deployments of Fantom
In our collaboration with Parity Technologies, we developed a sleek and efficient DevOps-friendly CLI toolset for interacting with the Polkadot mainnet and custom Substrate networks. This toolset proves particularly beneficial for testing smart contracts and facilitating rapid prototyping.
We're proud that it has offered support for EVM since 2019!
Our 2014 research, conducted in partnership with JetBrains, focused on Formal Verification and its industrial applications. To facilitate this, we enhanced the renowned Coq proof assistant, enabling it to automatically generate fully functional Java code from Coq specifications. This advancement permits the initial description and mathematical proof of a software system's core properties, followed by seamless integration into a more extensive framework.
Stellar is a major blockchain infrastructure network for payments and digital assets. Our work focused on protocol updates across execution, metering, cryptography, and other consensus-sensitive logic that affects secure network operation.
ZIGChain powers the next era of decentralized asset management by enabling fund managers to deploy on-chain strategies that unlock investment opportunities for everyone.
This audit has focused on:
- `x/dex` module that enables users to create pools, provide or withdraw liquidity, and swap tokens.
- `x/factory` module that allows users to create custom native tokens with granular access controls via the bank and metadata admin, while enforcing the max supply.
- `x/tokenwrapper` module that facilitates the bridging between ZIG tokens on Axelar (originating from Ethereum) and native ZIG tokens in ZIGChain. Tokens are wrapped or unwrapped accordingly when transferring or receiving from ZIGChain.
Hydration is a Polkadot DeFi protocol built around shared liquidity infrastructure. Our audit covered its stableswap and oracle components, with particular attention to AMM invariants, oracle integrity, and privileged-control risk.
RWA tokenization platform for the Nairobi Securities Exchange, built on Cardano.
Fixed stablecoins pool powering the Credit-as-a-Service platform.
It enables fintech platforms, such as consumer or business neobanks, card programs, savings apps, and payment gateways to offer credit products.
Snowbridge links Polkadot and Ethereum through a trustless light-client bridge. Our reviews focused on proof verification, message validity, and the security of the trust boundaries that make cross-chain transfers possible.
ZKsync OS is a new RISC-based execution system for the next generation of zkSync. Our review focused on the bootloader, EVM implementation, cache logic, and transaction processing at the core of the rollup architecture.
KILT is a protocol for self-sovereign data and interoperability built on top of the permissionless KILT blockchain. Secured by Polkadot, it’s secure, sustainable, and practical, with open-source tools, fiat payment options, and W3C-recognized DIDs driving global adoption.
Axelar is a cross-chain General Message Passing platform unlocking cross-chain swaps and calls across multiple networks. The audit was conducted on Code4rena and included thorough code review of Interchain Token Service contracts and gateways on Ethereum and Cosmos
Dusk is a layer-1 network designed for regulated financial applications. Our review focused on the Rusk node and consensus-related components, examining protocol logic, node safety, and failure modes that could affect network integrity.
Hyperlane connects chains through a modular interoperability layer. We reviewed its cross-chain integration components with a focus on message validity, replay resistance, and the trust assumptions behind Cosmos-to-EVM communication.
Our team conducted security audits for two innovative interchain solutions:
Valence Services' Rebalancer a powerful tool enabling automated treasury management for blockchains, protocols, and DAOs. The Rebalancer efficiently handles token conversions for scheduled payments and portfolio management across the interchain ecosystem.
Covenants, the interchain agreement system allowing IBC-enabled parties to form multilateral alliances through token swap agreements and protocol-owned liquidity arrangements. These modular contracts can be deployed in various configurations to suit specific protocol needs, ensuring secure cross-chain collaboration and economic relationships between crypto-native organizations.
Transmuter is a CosmWasm contract for X:Y swapping between multiple tokens with no fees, integrated with the Osmosis zone which is a blockchain run by 150+ validators and full nodes, with many front-ends and development teams on it.
As the first implementation of IBC bridging to DotSama, Centauri enables the possibility for users to move digital assets seamlessly between the Polkadot/Kusama (DotSama) ecosystems and the blockchains connected to the IBC, such as the Cosmos ecosystem.
This library is Ethereum's serialization scheme implemented in Rust and is crucial for building Ethereum consensus clients in Rust. It made possible fast, secure serialization and Merkleization of Ethereum consensus data in Rust. With SSZ, Ethereum 2.0 achieved scalable, verifiable state transitions, efficient light clients, and secure consensus through hash tree roots and compact proofs. This enabled high performance, trustless validation, and composable protocols powering Ethereum’s decentralized upgrades and innovations.
DAO DAO makes it easy to create and manage DAOs through a user-friendly visual interface. DAOs built with DAO DAO are compatible with IBC (Inter-Blockchain Communication), which means your organization can interact with and manage assets or protocols across any IBC-enabled blockchain, like Osmosis, Stargaze, and Juno.
NYM is a decentralized privacy project focused on providing strong network-level privacy for users and applications across multiple blockchains. Instead of just encrypting data payloads (like transactions), NYM uses a mixnet to obscure both the content and metadata of network traffic, making it hard for observers to trace communications or determine who is talking to whom. The network is underpinned by an open-source, permissionless model—anyone can run a NYM node or build apps that leverage the network’s privacy features.
Hydration is a Polkadot DeFi protocol built around shared liquidity infrastructure. Our audit covered its stableswap and oracle components, with particular attention to AMM invariants, oracle integrity, and privileged-control risk.
Stellar is a major blockchain infrastructure network for payments and digital assets. Our work focused on protocol updates across execution, metering, cryptography, and other consensus-sensitive logic that affects secure network operation.
Fixed stablecoins pool powering the Credit-as-a-Service platform.
It enables fintech platforms, such as consumer or business neobanks, card programs, savings apps, and payment gateways to offer credit products.
ZKsync OS is a new RISC-based execution system for the next generation of zkSync. Our review focused on the bootloader, EVM implementation, cache logic, and transaction processing at the core of the rollup architecture.
Snowbridge links Polkadot and Ethereum through a trustless light-client bridge. Our reviews focused on proof verification, message validity, and the security of the trust boundaries that make cross-chain transfers possible.
RoofRide is a cross-chain DEX built on the concept of atomic swaps, providing users with the highest possible level of security for exchanging assets between L1 blockchains. We have designed and prototyped the DEX for our client, which involved developing smart contracts in Solidity, creating a web app prototype integrated with the Helios light client, and designing a fully custom, off-chain P2P transport protocol for distributing and executing swap orders
- Architecture of DEX
- Atomic Swap prototype
Helios represents a shift toward truly trustless blockchain interaction. Unlike traditional RPC providers that require users to trust third-party infrastructure, Helios enables direct verification of blockchain data. With Helios, you get the power and security of a full node in a lightweight package—perfect for dApps, wallets, or any platform looking for seamless, decentralized integration.
Axelar is a cross-chain General Message Passing platform unlocking cross-chain swaps and calls across multiple networks. The audit was conducted on Code4rena and included thorough code review of Interchain Token Service contracts and gateways on Ethereum and Cosmos
This library is Ethereum's serialization scheme implemented in Rust and is crucial for building Ethereum consensus clients in Rust. It made possible fast, secure serialization and Merkleization of Ethereum consensus data in Rust. With SSZ, Ethereum 2.0 achieved scalable, verifiable state transitions, efficient light clients, and secure consensus through hash tree roots and compact proofs. This enabled high performance, trustless validation, and composable protocols powering Ethereum’s decentralized upgrades and innovations.
Syntropy develops decentralized systems including a blockchain and Decentralized Autonomous Routing Protocol. We’ve prototyped custom networks using Polkadot SDK and Polygon Edge, analyzed EVM network scalability, performed performance testing and stress tests. Our work also includes deploying and testing and Polygon SDK, Avalanche, and Fantom, alongside security assessments of the earliest cross-chain solutions like ChainBridge and private network scripts.
- custom Substrate network
- custom Polygon Edge network
- scalability analysis of EVM-networks
- performance analysis, stress testing
- test deployments of ChainBridge
- test deployments of Avalanche
- test deployments of Fantom
In our collaboration with Parity Technologies, we developed a sleek and efficient DevOps-friendly CLI toolset for interacting with the Polkadot mainnet and custom Substrate networks. This toolset proves particularly beneficial for testing smart contracts and facilitating rapid prototyping.
We're proud that it has offered support for EVM since 2019!
Axelar is a cross-chain General Message Passing platform unlocking cross-chain swaps and calls across multiple networks. The audit was conducted on Code4rena and included thorough code review of Interchain Token Service contracts and gateways on Ethereum and Cosmos
Hyperlane connects chains through a modular interoperability layer. We reviewed its cross-chain integration components with a focus on message validity, replay resistance, and the trust assumptions behind Cosmos-to-EVM communication.
Our team conducted security audits for two innovative interchain solutions:
Valence Services' Rebalancer a powerful tool enabling automated treasury management for blockchains, protocols, and DAOs. The Rebalancer efficiently handles token conversions for scheduled payments and portfolio management across the interchain ecosystem.
Covenants, the interchain agreement system allowing IBC-enabled parties to form multilateral alliances through token swap agreements and protocol-owned liquidity arrangements. These modular contracts can be deployed in various configurations to suit specific protocol needs, ensuring secure cross-chain collaboration and economic relationships between crypto-native organizations.
Transmuter is a CosmWasm contract for X:Y swapping between multiple tokens with no fees, integrated with the Osmosis zone which is a blockchain run by 150+ validators and full nodes, with many front-ends and development teams on it.
As the first implementation of IBC bridging to DotSama, Centauri enables the possibility for users to move digital assets seamlessly between the Polkadot/Kusama (DotSama) ecosystems and the blockchains connected to the IBC, such as the Cosmos ecosystem.
DAO DAO makes it easy to create and manage DAOs through a user-friendly visual interface. DAOs built with DAO DAO are compatible with IBC (Inter-Blockchain Communication), which means your organization can interact with and manage assets or protocols across any IBC-enabled blockchain, like Osmosis, Stargaze, and Juno.
NYM is a decentralized privacy project focused on providing strong network-level privacy for users and applications across multiple blockchains. Instead of just encrypting data payloads (like transactions), NYM uses a mixnet to obscure both the content and metadata of network traffic, making it hard for observers to trace communications or determine who is talking to whom. The network is underpinned by an open-source, permissionless model—anyone can run a NYM node or build apps that leverage the network’s privacy features.
ZIGChain powers the next era of decentralized asset management by enabling fund managers to deploy on-chain strategies that unlock investment opportunities for everyone.
This audit has focused on:
- `x/dex` module that enables users to create pools, provide or withdraw liquidity, and swap tokens.
- `x/factory` module that allows users to create custom native tokens with granular access controls via the bank and metadata admin, while enforcing the max supply.
- `x/tokenwrapper` module that facilitates the bridging between ZIG tokens on Axelar (originating from Ethereum) and native ZIG tokens in ZIGChain. Tokens are wrapped or unwrapped accordingly when transferring or receiving from ZIGChain.
Snowbridge links Polkadot and Ethereum through a trustless light-client bridge. Our reviews focused on proof verification, message validity, and the security of the trust boundaries that make cross-chain transfers possible.
KILT is a protocol for self-sovereign data and interoperability built on top of the permissionless KILT blockchain. Secured by Polkadot, it’s secure, sustainable, and practical, with open-source tools, fiat payment options, and W3C-recognized DIDs driving global adoption.
As the first implementation of IBC bridging to DotSama, Centauri enables the possibility for users to move digital assets seamlessly between the Polkadot/Kusama (DotSama) ecosystems and the blockchains connected to the IBC, such as the Cosmos ecosystem.
Syntropy develops decentralized systems including a blockchain and Decentralized Autonomous Routing Protocol. We’ve prototyped custom networks using Polkadot SDK and Polygon Edge, analyzed EVM network scalability, performed performance testing and stress tests. Our work also includes deploying and testing and Polygon SDK, Avalanche, and Fantom, alongside security assessments of the earliest cross-chain solutions like ChainBridge and private network scripts.
- custom Substrate network
- custom Polygon Edge network
- scalability analysis of EVM-networks
- performance analysis, stress testing
- test deployments of ChainBridge
- test deployments of Avalanche
- test deployments of Fantom
In our collaboration with Parity Technologies, we developed a sleek and efficient DevOps-friendly CLI toolset for interacting with the Polkadot mainnet and custom Substrate networks. This toolset proves particularly beneficial for testing smart contracts and facilitating rapid prototyping.
We're proud that it has offered support for EVM since 2019!
Hydration is a Polkadot DeFi protocol built around shared liquidity infrastructure. Our audit covered its stableswap and oracle components, with particular attention to AMM invariants, oracle integrity, and privileged-control risk.
Snowbridge links Polkadot and Ethereum through a trustless light-client bridge. Our reviews focused on proof verification, message validity, and the security of the trust boundaries that make cross-chain transfers possible.
ZKsync OS is a new RISC-based execution system for the next generation of zkSync. Our review focused on the bootloader, EVM implementation, cache logic, and transaction processing at the core of the rollup architecture.
RoofRide is a cross-chain DEX built on the concept of atomic swaps, providing users with the highest possible level of security for exchanging assets between L1 blockchains. We have designed and prototyped the DEX for our client, which involved developing smart contracts in Solidity, creating a web app prototype integrated with the Helios light client, and designing a fully custom, off-chain P2P transport protocol for distributing and executing swap orders
- Architecture of DEX
- Atomic Swap prototype
Helios represents a shift toward truly trustless blockchain interaction. Unlike traditional RPC providers that require users to trust third-party infrastructure, Helios enables direct verification of blockchain data. With Helios, you get the power and security of a full node in a lightweight package—perfect for dApps, wallets, or any platform looking for seamless, decentralized integration.
Axelar is a cross-chain General Message Passing platform unlocking cross-chain swaps and calls across multiple networks. The audit was conducted on Code4rena and included thorough code review of Interchain Token Service contracts and gateways on Ethereum and Cosmos
This library is Ethereum's serialization scheme implemented in Rust and is crucial for building Ethereum consensus clients in Rust. It made possible fast, secure serialization and Merkleization of Ethereum consensus data in Rust. With SSZ, Ethereum 2.0 achieved scalable, verifiable state transitions, efficient light clients, and secure consensus through hash tree roots and compact proofs. This enabled high performance, trustless validation, and composable protocols powering Ethereum’s decentralized upgrades and innovations.
Syntropy develops decentralized systems including a blockchain and Decentralized Autonomous Routing Protocol. We’ve prototyped custom networks using Polkadot SDK and Polygon Edge, analyzed EVM network scalability, performed performance testing and stress tests. Our work also includes deploying and testing and Polygon SDK, Avalanche, and Fantom, alongside security assessments of the earliest cross-chain solutions like ChainBridge and private network scripts.
- custom Substrate network
- custom Polygon Edge network
- scalability analysis of EVM-networks
- performance analysis, stress testing
- test deployments of ChainBridge
- test deployments of Avalanche
- test deployments of Fantom
In our collaboration with Parity Technologies, we developed a sleek and efficient DevOps-friendly CLI toolset for interacting with the Polkadot mainnet and custom Substrate networks. This toolset proves particularly beneficial for testing smart contracts and facilitating rapid prototyping.
We're proud that it has offered support for EVM since 2019!
Snowbridge links Polkadot and Ethereum through a trustless light-client bridge. Our reviews focused on proof verification, message validity, and the security of the trust boundaries that make cross-chain transfers possible.
As the first implementation of IBC bridging to DotSama, Centauri enables the possibility for users to move digital assets seamlessly between the Polkadot/Kusama (DotSama) ecosystems and the blockchains connected to the IBC, such as the Cosmos ecosystem.
Syntropy develops decentralized systems including a blockchain and Decentralized Autonomous Routing Protocol. We’ve prototyped custom networks using Polkadot SDK and Polygon Edge, analyzed EVM network scalability, performed performance testing and stress tests. Our work also includes deploying and testing and Polygon SDK, Avalanche, and Fantom, alongside security assessments of the earliest cross-chain solutions like ChainBridge and private network scripts.
- custom Substrate network
- custom Polygon Edge network
- scalability analysis of EVM-networks
- performance analysis, stress testing
- test deployments of ChainBridge
- test deployments of Avalanche
- test deployments of Fantom
Gno.land aims to become the leading open-source smart contract platform, using Gno language ⸺ an interpreted and fully deterministic variation of the Go programming language for succinct and composable smart contracts.
With transparent and timeless code, gno.land is the next generation of smart contract platforms, serving as the “GitHub” of the ecosystem, with realms built using fully transparent, auditable code that anyone can inspect and reuse.
Dusk is a layer-1 network designed for regulated financial applications. Our review focused on the Rusk node and consensus-related components, examining protocol logic, node safety, and failure modes that could affect network integrity.
This library is Ethereum's serialization scheme implemented in Rust and is crucial for building Ethereum consensus clients in Rust. It made possible fast, secure serialization and Merkleization of Ethereum consensus data in Rust. With SSZ, Ethereum 2.0 achieved scalable, verifiable state transitions, efficient light clients, and secure consensus through hash tree roots and compact proofs. This enabled high performance, trustless validation, and composable protocols powering Ethereum’s decentralized upgrades and innovations.
Stellar is a major blockchain infrastructure network for payments and digital assets. Our work focused on protocol updates across execution, metering, cryptography, and other consensus-sensitive logic that affects secure network operation.
ZIGChain powers the next era of decentralized asset management by enabling fund managers to deploy on-chain strategies that unlock investment opportunities for everyone.
This audit has focused on:
- `x/dex` module that enables users to create pools, provide or withdraw liquidity, and swap tokens.
- `x/factory` module that allows users to create custom native tokens with granular access controls via the bank and metadata admin, while enforcing the max supply.
- `x/tokenwrapper` module that facilitates the bridging between ZIG tokens on Axelar (originating from Ethereum) and native ZIG tokens in ZIGChain. Tokens are wrapped or unwrapped accordingly when transferring or receiving from ZIGChain.
Snowbridge links Polkadot and Ethereum through a trustless light-client bridge. Our reviews focused on proof verification, message validity, and the security of the trust boundaries that make cross-chain transfers possible.
Helios represents a shift toward truly trustless blockchain interaction. Unlike traditional RPC providers that require users to trust third-party infrastructure, Helios enables direct verification of blockchain data. With Helios, you get the power and security of a full node in a lightweight package—perfect for dApps, wallets, or any platform looking for seamless, decentralized integration.
Axelar is a cross-chain General Message Passing platform unlocking cross-chain swaps and calls across multiple networks. The audit was conducted on Code4rena and included thorough code review of Interchain Token Service contracts and gateways on Ethereum and Cosmos
Hyperlane connects chains through a modular interoperability layer. We reviewed its cross-chain integration components with a focus on message validity, replay resistance, and the trust assumptions behind Cosmos-to-EVM communication.
As the first implementation of IBC bridging to DotSama, Centauri enables the possibility for users to move digital assets seamlessly between the Polkadot/Kusama (DotSama) ecosystems and the blockchains connected to the IBC, such as the Cosmos ecosystem.
RoofRide is a cross-chain DEX built on the concept of atomic swaps, providing users with the highest possible level of security for exchanging assets between L1 blockchains. We have designed and prototyped the DEX for our client, which involved developing smart contracts in Solidity, creating a web app prototype integrated with the Helios light client, and designing a fully custom, off-chain P2P transport protocol for distributing and executing swap orders
- Architecture of DEX
- Atomic Swap prototype
ZIGChain powers the next era of decentralized asset management by enabling fund managers to deploy on-chain strategies that unlock investment opportunities for everyone.
This audit has focused on:
- `x/dex` module that enables users to create pools, provide or withdraw liquidity, and swap tokens.
- `x/factory` module that allows users to create custom native tokens with granular access controls via the bank and metadata admin, while enforcing the max supply.
- `x/tokenwrapper` module that facilitates the bridging between ZIG tokens on Axelar (originating from Ethereum) and native ZIG tokens in ZIGChain. Tokens are wrapped or unwrapped accordingly when transferring or receiving from ZIGChain.
RoofRide is a cross-chain DEX built on the concept of atomic swaps, providing users with the highest possible level of security for exchanging assets between L1 blockchains. We have designed and prototyped the DEX for our client, which involved developing smart contracts in Solidity, creating a web app prototype integrated with the Helios light client, and designing a fully custom, off-chain P2P transport protocol for distributing and executing swap orders
- Architecture of DEX
- Atomic Swap prototype
Axelar is a cross-chain General Message Passing platform unlocking cross-chain swaps and calls across multiple networks. The audit was conducted on Code4rena and included thorough code review of Interchain Token Service contracts and gateways on Ethereum and Cosmos
Transmuter is a CosmWasm contract for X:Y swapping between multiple tokens with no fees, integrated with the Osmosis zone which is a blockchain run by 150+ validators and full nodes, with many front-ends and development teams on it.
Hydration is a Polkadot DeFi protocol built around shared liquidity infrastructure. Our audit covered its stableswap and oracle components, with particular attention to AMM invariants, oracle integrity, and privileged-control risk.
ZIGChain powers the next era of decentralized asset management by enabling fund managers to deploy on-chain strategies that unlock investment opportunities for everyone.
This audit has focused on:
- `x/dex` module that enables users to create pools, provide or withdraw liquidity, and swap tokens.
- `x/factory` module that allows users to create custom native tokens with granular access controls via the bank and metadata admin, while enforcing the max supply.
- `x/tokenwrapper` module that facilitates the bridging between ZIG tokens on Axelar (originating from Ethereum) and native ZIG tokens in ZIGChain. Tokens are wrapped or unwrapped accordingly when transferring or receiving from ZIGChain.
Our 2014 research, conducted in partnership with JetBrains, focused on Formal Verification and its industrial applications. To facilitate this, we enhanced the renowned Coq proof assistant, enabling it to automatically generate fully functional Java code from Coq specifications. This advancement permits the initial description and mathematical proof of a software system's core properties, followed by seamless integration into a more extensive framework.
Gno.land aims to become the leading open-source smart contract platform, using Gno language ⸺ an interpreted and fully deterministic variation of the Go programming language for succinct and composable smart contracts.
With transparent and timeless code, gno.land is the next generation of smart contract platforms, serving as the “GitHub” of the ecosystem, with realms built using fully transparent, auditable code that anyone can inspect and reuse.
ZIGChain powers the next era of decentralized asset management by enabling fund managers to deploy on-chain strategies that unlock investment opportunities for everyone.
This audit has focused on:
- `x/dex` module that enables users to create pools, provide or withdraw liquidity, and swap tokens.
- `x/factory` module that allows users to create custom native tokens with granular access controls via the bank and metadata admin, while enforcing the max supply.
- `x/tokenwrapper` module that facilitates the bridging between ZIG tokens on Axelar (originating from Ethereum) and native ZIG tokens in ZIGChain. Tokens are wrapped or unwrapped accordingly when transferring or receiving from ZIGChain.
ZKsync OS is a new RISC-based execution system for the next generation of zkSync. Our review focused on the bootloader, EVM implementation, cache logic, and transaction processing at the core of the rollup architecture.
KILT is a protocol for self-sovereign data and interoperability built on top of the permissionless KILT blockchain. Secured by Polkadot, it’s secure, sustainable, and practical, with open-source tools, fiat payment options, and W3C-recognized DIDs driving global adoption.
Gno.land aims to become the leading open-source smart contract platform, using Gno language ⸺ an interpreted and fully deterministic variation of the Go programming language for succinct and composable smart contracts.
With transparent and timeless code, gno.land is the next generation of smart contract platforms, serving as the “GitHub” of the ecosystem, with realms built using fully transparent, auditable code that anyone can inspect and reuse.
RWA tokenization platform for the Nairobi Securities Exchange, built on Cardano.
Fixed stablecoins pool powering the Credit-as-a-Service platform.
It enables fintech platforms, such as consumer or business neobanks, card programs, savings apps, and payment gateways to offer credit products.
Transmuter is a CosmWasm contract for X:Y swapping between multiple tokens with no fees, integrated with the Osmosis zone which is a blockchain run by 150+ validators and full nodes, with many front-ends and development teams on it.
RoofRide is a cross-chain DEX built on the concept of atomic swaps, providing users with the highest possible level of security for exchanging assets between L1 blockchains. We have designed and prototyped the DEX for our client, which involved developing smart contracts in Solidity, creating a web app prototype integrated with the Helios light client, and designing a fully custom, off-chain P2P transport protocol for distributing and executing swap orders
- Architecture of DEX
- Atomic Swap prototype
RWA tokenization platform for the Nairobi Securities Exchange, built on Cardano.
Whether you're gearing up for a thorough audit or are still in the planning stages of your project, we encourage you to get in touch. Our expertise extends to architecture and security consulting, catering to a diverse range of needs. Rest assured, all inquiries are attentively processed during business hours. You can expect a response within an hour; however, we appreciate your patience if it occasionally takes a few days.
.png){kind=small}
