mutourend

最新文章

Renegade：基于MPC+Bulletproofs构建的anonymous DEX

zkMove——针对Move合约生态的zkVM

RedShift: Transparent SNARKs from List Polynomial Commitments学习笔记

Kindelia-Chain+HVM：点对点函数式计算网络

zkLLVM：nil Foundation开发的电路编译器

Casting out Primes: Bignum Arithmetic for Zero-Knowledge Proofs学习笔记

RapidUp: Multi-Domain Permutation Protocol for Lookup Tables学习笔记

ZKP应用：石头剪刀布游戏

BulletproofVM：Avalanche上的zkVM

Vortex：无需可信设置的基于Lattice的SNARK方案

Polygon zkEVM中的Recursive STARKs

Lookup argument总览

Rollup交易的固化流程

Bulletproofs++

ZKML：ZK+机器学习

Sangria：PLONK + Folding

Rollup去中心化

智能合约开发——Sui/Move vs. Solana/Rust

采用特殊硬件指令对密码学算法加速

The Goldilocks Prime

Spartan-ECDSA：最快的浏览器内 ZK secp256k1 ECDSA

优化EVM中的BLS多重签名

Polygon zkEVM中的Merkle tree

e=vm2：vm in evm

量子密码学简介

e=vm2：vm in evm

STARK Low Degree Testing——FRI

Polygon zkEVM Memory状态机

BulletproofsSigma protocolHalo2等ZK方案小结

Polygon zkEVM中的常量多项式

zkTree: a zk recursion tree with ZKP membership proofs

zk-creds: Flexible Anonymous Credentials from zkSNARKs and Existing Identity Infrastructure

SNARK+深度神经网络

Halmos：Solidity合约形式化验证工具

zkLLVM：nil Foundation开发的电路编译器

zkMove——针对Move合约生态的zkVM

Citadel——Dusk网络的Zero-Knowledge KYC解决方案

基于Sigma protocol实现的零知识证明protocol集锦

Hyrax: Doubly-efficient zkSNARKs without trusted setup学习笔记

Rollup项目的SNARK景观

Nova: Recursive Zero-Knowledge Arguments from Folding Schemes学习笔记

Rollup L2 and L3

sum-check protocol深入研究

智能合约开发——Sui/Move vs. Solana/Rust

zkEVM：EVM兼容性 VS EVM等价性

Polygon zkEVM公式梳理

nil Foundation的Placeholder证明系统

多变量lookup argument

Ethereum EVM简介

Bitcoin+STARK: ZeroSync & Khepri

nil Foundation的Placeholder证明系统

nil Foundation blueprint模块代码解析

Citadel——Dusk网络的Zero-Knowledge KYC解决方案

SNARK Design

SuperNova：为多指令虚拟机执行提供递归证明

cq：fast lookup argument

Horn：2层BLS签名聚合协议

He-HTLC：重新审视HTLC中的激励措施

BitGo的TSS门限签名方案代码解析

微软开源MacTok

Polygon zkEVM的gas定价

subtle：constant-time密码学库

Kindelia-Chain+HVM：点对点函数式计算网络

Halo2 FRI Gadget

sum-check protocol深入研究

SNARK原理示例

StarkWare的Recursive STARKs

以太坊合约地址计算

CycloneNTT：需要更少内存的butterfly FFT方案

Sparse Merkle Tree

ZK Proof of Email：通往decentralized identity之路

现代零知识密码学系列培训——MIT IAP 2023

SNARK+深度神经网络

现代零知识密码学系列培训——MIT IAP 2023

StarkWare的StarkNet和StarkEx

Solidity Keccak256与SHA3-256

Polygon生态

Rollup Decentralization

以太坊Solidity的Storage/Memory/Calldata layout

Hashing to elliptic curve算法改进