DiStefano protocol enables secure data verification over TLS 1.3, allowing users to prove specific claims without revealing sensitive personal information.

Proxies Research Compilation

This joint zkEVM Audit Education Session is co-hosted by Scroll and Polygon. The session aims to educate auditors about the zkEVM and related proof systems. More specifically, the sessions will cover the following items:

Imagine if Binance allowed smart contract developers to deploy on the Binance order books… this is what Hyperliquid enables.

This paper introduces distribution markets, a new kind of prediction market for events whose outcomes aren't just "yes" or "no" but could be any number.

Instead of betting on a particular outcome or range, traders can express how likely they think each different…

In our previous post, we delved into the Jolt zkVM and uncovered several significant bugs in the code. In this post, we will provide a detailed walkthrough on how Jolt actually works.
Jolt is a zero-knowledge Virtual Machine (zkVM) designed for the RISC-V…

Implementing on-chain worlds with terrain generation and hyper-optimized pixel art.

Heimdall is an advanced EVM smart contract toolkit specializing in bytecode analysis and extracting information from unverified contracts. - Jon-Becker/heimdall-rs

Verifying an Implementation of a Novel Modular Inversion Algorithm using a Proof Assistant

A comprehensive risk review of Usual USD0 for crvUSD PegKeeper onboarding consideration --- Edit (Dec 13th, 2024): _Added clarification on Hashnote's USYC oracle dependancy (section 3.1.4)_...

Zhiyuan Sun's personal website

Plonky3 is a general purpose toolkit for implementing polynomial IOP's. In addition to

比特币思想的中文集结地