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…

All your EVM tools in one place! Contribute to swiss-knife-xyz/swiss-knife development by creating an account on GitHub.

Factory smart contract to make easier and safer usage of the `CREATE` and `CREATE2` EVM opcodes as well as of `CREATE3`-based (i.e. without an initcode factor) contract creations. - pcaversaccio/cr...

Contribute to jtriley-eth/the-rippler development by creating an account on GitHub.

Peer-to-peer protocols which scale up, down, and sideways. Sychronisable data storage, fine-grained access control, private and efficient synchronisation, and secure data delivery by any means possible.

In this post, we'll be comparing the proving of properties in a smart contract system using fuzzing and formal verification tools. We'll be using the eBTC protocol as a real-world case study.

A cheatsheet for commonly used commands and cheatcodes in Foundry.

A mutation testing CLI tool built in Rust. Currently supports Noir as a target language - nfurfaro/hunter

A secure source of randomness is one of the most critical components of many decentralized applications. However, perhaps surprisingly, there is currently no on-chain source of randomness that is truly trustless. Almost all solutions that have been used in…

For many different purposes, the blockchain space needs a trustless, general-purpose source of randomness. In the first post, we saw that almost all sources of general on-chain randomness that are currently in use have fundamental flaws (the severity of which…

Anoma Research Topics is an Open Access index of research and development focused on distributed systems, cryptography, compilers, and Anoma protocol-related topics.

Special thanks to Pascal Merkleplant for review and feedback.

Introduction: