Search Results for "smart contract"
Sui Prover Enhances Smart Contract Verification on Sui Blockchain
Sui Prover introduces formal verification for smart contracts on the Sui blockchain, ensuring enhanced security and reliability. Developed by Asymptotic, it's now available to developers seeking robust contract validation.
Halmos v0.3.0: Enhanced Bug Detection and Performance Improvements
Halmos v0.3.0 introduces stateful invariant testing, performance enhancements, and improved solver support, significantly advancing bug detection in EVM smart contracts.
Halmos v0.3.0 Revolutionizes Stateful Invariant Testing for Smart Contracts
Halmos v0.3.0 introduces advanced features for stateful invariant testing, transforming the landscape of smart contract testing with increased efficiency and reduced complexity.
Enhancing BSC Efficiency with Super-Instruction Integration
BNB Chain introduces super-instructions to improve smart contract execution on BSC, achieving faster performance and scalability without altering consensus or requiring code changes.
Chainlink (LINK) Unveils CRE for Advanced Onchain Finance Solutions
Chainlink (LINK) launches the Chainlink Runtime Environment (CRE) on mainnet, offering an orchestration layer for institutional-grade smart contracts across various platforms.
Chainlink (LINK)'s New Service Enhances Privacy in Smart Contracts
Chainlink (LINK) introduces Confidential Compute, a service enabling private smart contracts across blockchains, potentially revolutionizing sectors like stablecoins and AI prediction markets.
Uniswap: Everything You Need to Know
Learn about: What Uniswap is, what the core concepts of UniSwap are. In this guide, we explain what's new in Uniswap V2, and the process of swapping tokens.
Forsage Founders Indicted for Alleged $340 Million "Global Ponzi" Scheme on Ethereum Blockchain
Oregon's federal grand jury indicted Forsage's founders. "Global Ponzi and pyramid scam" investors lost $340 million on the site.
Ethereum Co-founder Vitalik Buterin Engages in Spirited Debate on Wallet Security
In a recent Ask Me Anything (AMA) session on Twitter, Ethereum co-founder Vitalik Buterin fielded various questions from the cryptocurrency community. The session largely revolved around the pros and cons of MPC-based (EOA) wallets versus Smart Contract wallets, providing intriguing insight into Buterin's perspective.
Singapore Regulator MAS is Exploring Use of Cases in Digital Assets
The Monetary Authority of Singapore (MAS) has launched Project Guardian, a sandbox initiative that is set to explore a number of defined use cases with respect to asset tokenization on the blockchain.
Stellar (XLM) Development Foundation Delays Protocol 20 Upgrade Due to Core Bug
The Stellar Development Foundation has postponed the vote on Protocol 20, initially set for January 30, following the discovery of a bug in Stellar Core v20.1.0. The decision was made to ensure ecosystem readiness and broad consensus, with the new vote date to be determined after the bug fix release, expected within the next two weeks.
Alonzo Smart Contract Upgrade Goes Live on Cardano
The Alonzo Hardfork with its accompanying capability for smart contracts has gone live on the Cardano blockchain.