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.
- 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 L1 blockchain built from scratch to fill the gap in Web3: native private transactions, regulatory-compliant. Rusk is the official Dusk protocol node client and smart contract platform. During the audit, both consensus algorithm and node implementation has been reviewed
— interoperability framework:
- Merkle tree performance analysis
- CosmWasm contracts and security modules
- Major and Critical vulnerabilities found
— Valence Services
— bridge from Ethereum to Polkadot:
- Beacon chain light client built as parachain
- Asset Hub and Bridge Hub parachains
- BEEFY light client built as Solidity smart contract
— bridge from Cosmos to Polkadot:
- GRANDPA finality proofs verification
- CosmWasm contract and IBC messaging
- Major and Critical vulnerabilities found
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.
— platform for DAOs:
- Vesting contract
- Payroll factory
— anonymization network:
- architecture of Mixnet
- whitepaper validation
- Vesting contracts
- 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.
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.
Dusk is a L1 blockchain built from scratch to fill the gap in Web3: native private transactions, regulatory-compliant. Rusk is the official Dusk protocol node client and smart contract platform. During the audit, both consensus algorithm and node implementation has been reviewed
— interoperability framework:
- Merkle tree performance analysis
- CosmWasm contracts and security modules
- Major and Critical vulnerabilities found
— Valence Services
— bridge from Ethereum to Polkadot:
- Beacon chain light client built as parachain
- Asset Hub and Bridge Hub parachains
- BEEFY light client built as Solidity smart contract
— bridge from Cosmos to Polkadot:
- GRANDPA finality proofs verification
- CosmWasm contract and IBC messaging
- Major and Critical vulnerabilities found
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.
— platform for DAOs:
- Vesting contract
- Payroll factory
— anonymization network:
- architecture of Mixnet
- whitepaper validation
- Vesting contracts
- 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
— bridge from Ethereum to Polkadot:
- Beacon chain light client built as parachain
- Asset Hub and Bridge Hub parachains
- BEEFY light client built as Solidity smart contract
- 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
— interoperability framework:
- Merkle tree performance analysis
- CosmWasm contracts and security modules
- Major and Critical vulnerabilities found
— Valence Services
— bridge from Cosmos to Polkadot:
- GRANDPA finality proofs verification
- CosmWasm contract and IBC messaging
- Major and Critical vulnerabilities found
— platform for DAOs:
- Vesting contract
- Payroll factory
— anonymization network:
- architecture of Mixnet
- whitepaper validation
- Vesting contracts
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.
— bridge from Ethereum to Polkadot:
- Beacon chain light client built as parachain
- Asset Hub and Bridge Hub parachains
- BEEFY light client built as Solidity smart contract
— bridge from Cosmos to Polkadot:
- GRANDPA finality proofs verification
- CosmWasm contract and IBC messaging
- Major and Critical vulnerabilities found
- 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!
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.
- 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
— bridge from Ethereum to Polkadot:
- Beacon chain light client built as parachain
- Asset Hub and Bridge Hub parachains
- BEEFY light client built as Solidity smart contract
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.
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!
— bridge from Ethereum to Polkadot:
- Beacon chain light client built as parachain
- Asset Hub and Bridge Hub parachains
- BEEFY light client built as Solidity smart contract
— bridge from Cosmos to Polkadot:
- GRANDPA finality proofs verification
- CosmWasm contract and IBC messaging
- Major and Critical vulnerabilities found
- 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
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.
