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.

Opinionated Framework for Building HyperVMs and Hyper-Scalable Blockchains on Avalanche - ava-labs/hypersdk

After 5 years of using Solidity, I thought I knew how calls worked. I didn't.

Ventral Digital LLC is a research and consultancy firm specializing in Information Security and Privacy.

A bridge linking siloed blockchains

We recently introduced our new offering, invariant development as a service. A recurring question that we are asked is, “Why fuzzing instead of formal verification?” And the answer is, “It’s complicated.” We use fuzzing for most of our audits but have used…