This is a sequel to Notes on Paxos post.
Similarly, the primarily goal here is for me to understand why the BFT consensus algorithm works in detail.
This might, or might not be useful for other people!
The Paxos article is a prerequisite, best to read that…

OpenZeppelin recently identified a critical vulnerability during an audit of Linea‘s PLONK verifier. At its core, the issue is similar in nature to some previously disclosed vulnerabilities (e.g., Frozen Heart, 00). The ‘Last Challenge’ vulnerability arises…

As we reach the end of 2023, we want to thank you for your readership this past year. Here's to a great start to 2024 and the year ahead in decentralized privacy-enhancing technologies and zero-knowledge systems research. Cheers! zkMesh is produced by

Learn everything you need to know to start programming in Solidity on Solana

We at Trail of Bits perform security reviews for a seemingly endless stream of applications that use zero-knowledge (ZK) proofs. While fast new arithmetization and folding libraries like Halo2, Plonky2, and Boojum are rapidly gaining adoption, Circom remains…

December 2023

Why is Axelar best positioned to capture value in a modular interoperability stack, and how can the Axelar Virtual Machine unlock an interchain future?

Master the art of crafting and testing robust invariants with Echidna — an essential guide for smart contract security.

Totally supercool and chilled VC investing in programmable assets, collaborative intelligence and other buzzwords.

Today, we’re excited to announce Khalani Network. Khalani is the first decentralized solvers infrastructure for intent-driven generative coordination.
The Future of Web3 UX is Based on Intents
The current standard approach for interacting with blockc...

Unveilling the dilemma of AA adoption, understand the modular AA architecture

Celenium allows you to explore and search the Celestia blockchain for transactions, addresses, blocks, namespaces and blobs.

TL;DR ZK技术主要应用于提高各种项目（如 Starkware、zkSync、Scroll、Mina、Risc0、Giza和EZKL）的可扩展性，隐私性和信誉度。 ZK 技术需要大量的计算能力，导致 10^4 到1 0^6 的计算开销，对基础设施团队构成挑战。 生成 ZK 证明的主要方法是证明市场和证明网络。 证明市场作为交易 ZK 证明的开放市场运行，而证明网络拥有内部服务器，为生成证明提供类似云服务的体验。 证明市场拥有灵活性和更低的成本，因为它促进了无需高端服务器管理就可以进行 ZK 证明 交易的开放市场。

My halmos usage #1

[This is the first post in my series on sharing applications of halmos.]

I enjoy reading highly gas-optimized code. There's something deeply satisfying about learning from and being inspired by the creative use or discovery of uncommon…

DAS 在 Danksharding 中是怎麼被實現的？

Paradigm is a research-driven crypto investment firm that funds companies and protocols from their earliest stages.

singletons for group sign-off and ownership. Contribute to Moloch-Mystics/dagon development by creating an account on GitHub.

In this post, we cast light on the state of defi order and transaction flow today. We will show how defi has distinguished itself from the traditional order flow market, and discuss the challenges to achieving our shared dream of systems that remain decentralized…