Search result of TAB

The article covers various aspects of formal verification, including formal models, formal specifications, and different techniques such as model checking, theorem proving, and symbolic execution.

This article discusses Maximum Extractable Value (MEV), which refers to the maximum value that can be extracted from block production beyond the standard block reward and gas fees by manipulating transactions within the block.

DexCheck is an AI-powered analytics platform designed to provide a comprehensive view of the digital asset market. Unlike other tools that focus on specific segments of the crypto world, DexCheck offers a complete picture of the digital asset ecosystem, with a focus on DEX tokens.

DeDust is the most advanced decentralized exchange (DEX) created natively on the TON blockchain. It is meticulously designed to focus on extensibility, gas efficiency, and user experience (UX). More than a mere decentralized exchange (DEX), DeDust introduces a new era in decentralized applications. Using the TON Blockchain's inherent features, including sharding and the actor model, the DeDust Protocol is a beacon of innovation in blockchain technology.

Discover Sanctum's groundbreaking approach to liquid staking on Solana. Learn how Sanctum is solving the staking dilemma with its unified liquidity layer, enabling infinite LSTs, better UX, and a thriving ecosystem.

Amnis Finance pioneers liquid staking on Aptos, with liquid tokens; amAPT and stAPT. Investors can maximize their returns by further staking or providing liquidity with these tokens while still growing their initial APT stake.

FOCAI is the first 'immortal' AI agent built on the focEliza framework, aiming to achieve a fully on-chain intelligent entity (AI Agent) that can operate, store data, and make decisions independently on the blockchain without relying on traditional centralized systems.

This article provides a detailed proof of Zero-Knowledge Proofs (ZKP).

Gate Wallet BountyDrop is an aggregated platform for today’s top airdrop projects, offering users a streamlined entry point to quickly complete Web3 tasks.

Gate Fun is an innovative Meme ecosystem introduced by the Gate platform. Its goal is to build a community-driven experimental hub for crypto culture, fostering dynamic engagement between Meme assets, creators, and users.

Click to discover how Karak Network blends restaking with an advanced security infrastructure.

Gate Fun is hosting a Chinese meme contest where users can create tokens and trade without any coding. Participants compete for a share of 3,000 GT in rewards. The top tokens will be listed directly on the Gate Spot Market, fueling Chinese-language Web3 creativity.

Gate Fun is an innovative meme ecosystem developed by the Gate platform. It aims to create a creative and enjoyable Web3 ecosystem, providing a new interactive experience for creators and users.

Learn read explorers like Etherscan and navigate data across these three key data structures, and how to find the tables you'll need to query.

Gate Fun is Gate's meme ecosystem platform, integrating token creation, exchange, and community engagement. It empowers creators and the community to shape a decentralized Web3 entertainment economy together.