Aleo Systems has created a Layer 1 blockchain named Aleo with a focus on privacy achieved through the use of zero-knowledge proofs (ZKPs) and other cryptographic methods. Unlike most popular blockchains where data used and created by transactions can be viewed by an external observer, Aleo provides the ability to hide such information.

SoftBank expands in Japan’s crypto market via PayPay, which will acquire 40% of Binance Japan to let users buy crypto directly from PayPay accounts. This aligns with Japan’s booming digital asset market and builds on SoftBank’s Web3 investments—including $60M in CertiK for security, plus Cipher Mining, The Sandbox and Aleo—targeting compliant, accessible Web3 services.

CertiK, together with Kraken, EVG, and Hedera, successfully hosted the “Oceanic Night@TOKEN2049” event in Singapore. The gathering brought together leading builders and innovators to spotlight the latest breakthroughs in Web3 compliance, security, and innovation, establishing itself as one of the most anticipated pre-Token2049 events.

The world’s premier Web3 event, Token2049, is set to take place at Marina Bay Sands, Singapore. This year, the conference is expected to attract over 25,000 attendees, 500+ exhibitors, and 300 speakers, serving as a key hub connecting global industry leaders and ecosystem builders.

This article examines the inner workings of Polygon’s Plonky3, a state-of-the-art prover utilized in zero-knowledge Virtual Machines (zkVMs).

During this year’s Korea Blockchain Week (KBW), CertiK, the world’s largest Web3 security services provider, hosted “CertiK Espresso @KBW – Compliance Insights Workshop,” a gathering that brought together industry experts, executives, and investors from Korea and abroad. The workshop focused on stablecoins, regulatory frameworks, and the future of Web3, offering in-depth discussions on how compliance and security intersect with innovation.

CertiK showcased its commitment to Korea at XRP SEOUL 2025, with CBO Jason Jiang discussing stablecoins and RWAs from a security perspective. The company also released the 2025 Skynet Korea Report, highlighting market opportunities and key security challenges in the Korean Web3 ecosystem. During Korea Blockchain Week (KBW), CertiK announced localized initiatives, including strengthened partnerships and expanded regional operations, to support long-term ecosystem growth.

Every autumn, Seoul hosts one of the blockchain industry’s most prominent events: Korea Blockchain Week (KBW). The event attracts developers, investors, policymakers, and project teams from around the world, and has become a key platform for dialogue and collaboration in the Web3 space.

This in-depth analysis will illuminate how the judicious separation of concerns between these layers can engender enhanced scalability, flexibility, and interoperability within the blockchain domain, ultimately shaping the future trajectory of decentralized applications and networks.

In this post, we analyze the specific ZKP constructions implemented in Binance’s tss-lib [1]. These proofs address previously identified weaknesses in the Multiplicative-to-Additive (MtA) protocol, Paillier encryption parameters, and auxiliary RSA modulus generation. Our discussion is grounded in the improvements formalized by the specifications in CGGMP21 [4], which strengthen the robustness of threshold ECDSA against known attacks.

In our 2025 RWA Security Report, we look at the evolving security landscape of RWAs, outlines how CertiK’s Skynet RWA Framework provides structured criteria for assessing protocol risks, and highlights the performance of leading platforms such as Ondo Finance, Paxos, and Tether.

In this article, we delve into the concept of cross-contract calls and examine the distinctions between Solidity and Move contracts in this area. We will assess the mechanisms and security of executing cross-contract calls in Move, aiding developers in better comprehending how to manage contract interactions within the Move environment.

Professor Gu recently sat down with Forbes China to discuss his journey from academia to Web3 security, and how mathematical rigor continues to shape his approach to innovation. In this blog, we’ll look at highlights from his interview, including his academic background, how he founded CertiK, and how CertiK is influencing blockchain security.

On 10 August 2025 Numa protocol was exploited for ~$313k. A malicious actor acquired additional Numa tokens by liquidating victim accounts after manipulating the NumaVault by minting nuBTC. Minting the nuBTC inflated the total synth value and in turn, reduced the collateral value of cNuma according to the Numa VaultManager logic.

This post details two security incidents involving the Lottie animation format and its ecosystem, highlighting the persistent and evolving nature of third-party dependency and supply chain risks in the modern web landscape.

In this post, we provide a detailed examination of the MtA protocol, which utilizes the additively homomorphic properties of the Paillier encryption scheme to facilitate the exchange of encrypted secret shares among the participating parties.

In our 2025 Stablecoin Report, we look at the current stablecoin landscape, vulnerabilities that affect stablecoins, and how CertiK’s Skynet Security Score can help evaluate stablecoin security.

As Web3 adoption continues to accelerate, many central banks and institutions are developing digital asset products, such as stablecoins, to support the stability of existing blockchain ecosystems while offering transparency, speed, and flexibility. However, such stablecoin innovations must win user trust, meet regulatory requirements, and integrate with existing Web3 systems in order to acquire mainstream adoption. In the context of rigorous compliance frameworks, formal verification is a promising methodology to help build reliable stablecoin contracts by verifying essential compliance requirements.