In this blog post we present crypto-condor, an open-source test suite for compliance testing of implementations of cryptographic primitives.

One-time programs on X, create and share a one-time post link from your Twitter account with LLM-enforced policies - Account-Link/teleport-gramine-rs

Explore the challenges of formal verification in Solidity and EVM smart contracts. Learn about the path explosion problem, bounded loop unrolling, and how tools like Certora Prover, Halmos, hevm, and Kontrol approach verifying loops in smart contracts.

The article provides an in-depth exploration of the Aave V3 protocol, detailing its implementation and technical architecture. It delves into the internal algorithms and implementation tricks, as well as the new features introduced in V3.

The summary article highlights new features and improvements in modern lending protocol implementations, drawing insights from previous articles.

Fuzz smart contracts using the same code with Echidna, Medusa & Foundry!

The Next-Generation Multi-Factor Key Derivation Function (MFKDF2) is a function that takes multiple inputs and outputs a string of bytes that can be used as a cryptographic key. It serves the same purpose as a password-based key derivation function (PBKDF)…

MEV bots are money-printing machines. At least in theory. For the last ~year, I've been working on the MEV crypto bot for Ethereum EVM-compatible chains. In this blog post, I'll describe the ins and outs of trying to get into the MEV game with a limited web3…

Key takeaways Introduction Crypto drainers are malicious tools that steal digital assets like NFTs, and tokens from cryptocurrency wallets. They often use phishing techniques and leverage smart contracts to enhance their impact. Typically, users are tricked…

Programmable cryptography and advanced decentralisation technologies for novel, emergent applications.

Davanti Research

32-bit Binary Towers are 5x more hardware efficient than Mersenne31 multipliers

For when you want your Solidity devs to cry in a new language

Learn how Fully Homomorphic Encryption (FHE) secures data by enabling encrypted computations, boosting privacy and security without decryption.

Simplifying bitcoin tech to help you learn as efficiently as possible

Bitcoin Launches is a community of builders, investors, and enthusiasts who want to discover the latest projects, startups, products & services being built both for Bitcoin and on Bitcoin.

BBQr: Encodes larger files into a series of QR codes so they can cross air gaps

Author: Figo, IOSG Ventures

AccountsDB is Solana’s custom accounts database. This post contains a high-level overview of core concepts and then explains it's implementation details in context of Anza’s Agave implementation written in collaboration with the Sig Engineering team from…