Zero-knowledge, Succinct, Non-interactive ARguments of Knowledge (zk-SNARKs) are powerful cryptographic primitives that allow one party, the prover, to convince another party, the verifier, that a given statement is true without revealing anything else other…

Rustic programming language that targets the Ethereum Virtual Machine - zink-lang/zink

MEV-Boost Auction Simulation Framework. Contribute to M1kuW1ll/MMASim development by creating an account on GitHub.

A Kurtosis package that deploys a private, portable, and modular Ethereum devnet - ethpandaops/ethereum-package

Celestia、Avail 及 EigenDA 各是怎麼實現 DAS 的？它們的設計之間有什麼不同或取捨？[2024/06/16 新增 Espresso 的 Tiramisu DA 介紹和比較]

AWS Nitro Enclaves are locked-down virtual machines with support for attestation. They are Trusted Execution Environments (TEEs), similar to Intel SGX, making them useful for running highly security-critical code. However, the AWS Nitro Enclaves platform…

Thank you to Andrew Fitzgerald, Harsh Patel, Jon Charbonneau, Kevin Galler, Lanre Ige, Mert Mumtaz, Pranav Garimidi, Ryan Chern, Tao Zhu, and Tarun Chitra for feedback and review.

Succinct Processor 1 (SP1) is a zkVM that that verifies the execution of arbitrary Rust (or any LLVM-compiled language) programs. SP1 targets an order of magnitude performance improvement vs. existing zkVMs, and its alpha release is already up to 30x faster…

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

In the evolving landscape of blockchain technology, consensus mechanisms play a crucial role in ensuring network security and efficiency. Among these, the Narwhal x Bullshark consensus algorithm stands out for its innovative approach, utilizing a Directed…

EVM Calldata Zip, aka czip. Contribute to 0xsequence/czip development by creating an account on GitHub.

The fastest and cheapest way to bridge & transact across chains

A unified format for communicating alpha and formally representing MEV opportunities for use in research and development.

Today, developers at Polygon Labs are releasing the next generation of the Polygon zkEVM prover, the Type 1. The Type 1 prover allows any existing EVM chain to become a ZK L2 and connect to the entire Polygon ecosystem via the Aggregation Layer.

Agglayer's first components are live

tl; dr: You already heard of Tornado Cash? And Halo2? Great! Here we’re going to mix those 2 and...

A look into the three puzzles solved by the Zellic cryptography team for ZK Hack IV

In his latest Crypto Trader Digest “Points Guard”, Arthur Hayes explains why he believes point reward systems for token projects will drive the success of this cycle’s best-perfor…