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…

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…

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

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

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

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

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…

Building an implementation of garbled circuits from the ground up

Extension for Visual Studio Code - Better circom support

Contribute to HrikB/createXcrunch development by creating an account on GitHub.

The Zcash Foundation engineering team has been working on an implementation library for FROST (Flexible Round-Optimized Schnorr Threshold Signatures) for Zcash. To support this we have built demos, which are NOT to be used in a production environment nor…

Contribute to defi-wonderland/aztec-patterns development by creating an account on GitHub.

Weekly newsletter with round-up of the most important news happening around privacy in Web3.

EIP-4844 dev usage. Contribute to colinlyguo/EIP-4844-dev-usage development by creating an account on GitHub.

Power perps are assets that target the power of an index price, like index^2 or index^3. It's a fun rabbit hole to go down. The longer you think about power perps, the more you see how everything resembles a power perp.

An ecosystem collective for easy, unified, and open access to the source-code of EVM smart contracts.