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

Research from Uniswap Labs introduces a new metric, Reordering Slippage, that exclusively uses onchain data to verify that swappers are getting the best prices in private mempools.

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.

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:…

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

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

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

An open-source framework for crypto apps

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.

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.

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

The ultimate guide to every major zkEVM project's progress in 2023, comparing Polygon zkEVM, Scroll, Taiko, Immutable zkEVM, Linea, zkSync and StarkNet.

Mar 06, 2023 - Nils Amiet -