BoxChen 的文章 - 登链社区

一键转载

TA的文章 TA购买的 TA喜欢的 TA收藏的

[Stark101] 3. 承诺（Commitments）

承诺（Commitments）是Stark中用于去除需要交互验证的步骤，通过将Trace的值进行默克尔树构建，从而获得虚拟的交互验证。

STARK Stark101 零知识证明教程

更新于2024-12-28 17:13 阅读(631) 点赞(0) ( 11 )

[Stark101] 2.低度拓展 (LDE)

低度拓展(LDE)是Stark中用于提高安全性的一个步骤，通过把多项式的域拓展到更大的域，从而提高计算的安全性。

零知识证明零知识证明入门 STARK

更新于2024-12-28 16:12 阅读(599) 点赞(0) ( 9 )

[Stark101] 1.计算轨迹

计算轨迹是 Stark 的第一步，也是最简单的一步，但是最为重要的一步。
但是在章节开始之前，你需要必须 🚨掌握以下前置知识：

零知识证明零知识证明入门 STARK 教程

更新于2024-12-28 16:08 阅读(614) 点赞(0) ( 9 )

[Stark101] 0.序章

重要‼️Stark101虽然是希望成为任何软件工程师的入门教程，但是ZK确实有太多不得不说的概念，不过，我会尽量用最简单，最少公式的方式来讲解。所以，Start101绝对不会教会你如何成为数学大师，其目的在于让你轻松的理解Stark的逻辑。但是你需要遵守以下规则：任何标题开头为附加内容

零知识证明 zk 教程 STARK

更新于2024-12-28 16:08 阅读(1173) 点赞(0) ( 10 )

Based Rollup 与 Puffer UniFI

Based Rollup 实质是将MEV权限转移给L1生态参与者的一种Rollup类型

Based Rollup

更新于2024-11-08 15:13 阅读(511) 点赞(0)

最近遇到一个有趣的问题，有人在测试Rust的性能的时候发现Rust比Golang慢竟然一倍

性能 golang Rust

更新于2024-07-27 19:55 阅读(970) 点赞(0) ( 23 )

zk-SNARKs 在 Solidity 中的使用

本文章主要讲述了如何在 Solidity 中使用 zk-SNARKs，以及如何使用 ZoKrates 编译器来生成证明和验证合约。

Solidity zkSNARK

更新于2023-09-07 15:16 阅读(2664) 点赞(1) ( 25 )

3-部署一个UniswapV3

快速并且简单的部署好一个UniswapV3，用于未来我们程序和Uni的联调。

Solidity Uniswap

更新于2022-10-09 01:05 阅读(5421) 点赞(6) ( 26 )

2-Solidity环境

本篇会介绍常用的几种Solidity开发环境，同时会推荐一种最为合适的开发环境并且安装必要的内容。

Solidity

更新于2022-10-09 01:01 阅读(3341) 点赞(0) ( 3 )

1-前期准备

初步的环境安装

Solidity

更新于2022-09-25 20:32 阅读(2149) 点赞(2) ( 8 )