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 HrikB/createXcrunch development by creating an account on GitHub.

Extension for Visual Studio Code - Better circom support

Building an implementation of garbled circuits from the ground up

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 介紹和比較]

By Paweł Płatek (GrosQuildu) AWS Nitro Enclaves are locked-down virtual machines with support for attestation. They are Trusted Execution Environments (TEEs), similar to Intel SGX, making them usef…

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.