A Follow Up to Noir's Hit Debut Alpha from 2022 Aztec: Ethereum encrypted. Read now!

The current state of on-chain storage proofs

Formal verification is the systematic process of validating the correctness of a system against certain rigorous formal criteria. In this post, we analyze different techniques and tools.

Invariant testing in smart contracts is about repeatedly trying out different combinations of actions to make sure the contract always follows its core rules, even in unusual or unexpected situations.

A blog post introducing Ponder, a new open-source framework for crypto apps.

Cryptic Woods Research specializes in developing advanced tools to assist users in efficiently navigating the complex dark forest known as the Ethereum mempool.

A list of crypto and web3 trends for 2024 including the intersection of AI & blockchains, AI & gaming, play to earn games, NFTs, SNARKs, more

A curated list of awesome of the Foundry development framework. - crisgarner/awesome-foundry

In the last few years, we have seen many blockchain games come and go. Most of those that have survived suffer from dwindling player bases and floor prices, with a consistent leakage of value that seems to have no end.

Introduction to TFHE and Some Applications - Mariya Georgieva and Nicolas Gama

OpenMined is an open-source community whose goal is to make the world more privacy-preserving by lowering the barrier-to-entry to private AI technologies.

Follow us on Twitter:…

This post introduces the Paillier cryptosystem, which is a partial homomorphic encryption scheme. In a subsequent post we’ll see how this can be used as the basis for a private set intersection protocol.

Swap or provide liquidity on the Uniswap Protocol

In this article we will outline the security issues encountered in yield aggregators, a very common type of projects in DeFi.

协处理器就是「赋予智能合约 Dune Analytics 的能力」。