Sin7Y
A research-driven incubator
2Followers14Articles
Sin7y技术解读：交易并行执行
本次调研对比了类似以太坊的实现系统，分析了交易并行执行的难点和可能性。
Sin7Y
一文了解 Lookup Arguments
本文将重点介绍使得OlaVM获得高性能的工具之一，Lookup argument。
Sin7Y
OlaVM来啦
当前进展和下一步规划。
Sin7Y
关于在 ZKEVM 中移除内存限制的一些想法
在ZKVM的约束系统中，或许可以在VM层面去设计内存访问机制，以减少zk约束的规模。
Sin7Y
从Zcash和Aleo的技术出发，理解隐私交易的设计原理
分析Zcash和Aleo的技术异同，理解隐私交易的设计原理。
Sin7Y
Cairo - 指令
本文从多个角度对Cairo指令进行了详细解读，涉及状态转换、转换逻辑、指令校验、指令示例等。
Sin7Y
关于Sinsemilla哈希函数在OlaVM中的应用
本文回应了Zcash协议的主要作者Daira Hopwood针对OlaVM提出的几点问题，同时介绍了Sinsemilla 哈希函数的设计思想及其在OlaVM 中的应用。
Sin7Y
Specification for Marlin
本文对基于R1CS的证明系统的零知识证明算法Marlin进行了详细解读。
Sin7Y
Multi-Scalar Multiplication 算法优化
Multi-Scalar Multiplication (MSM) 是计算多个乘法运算之和的算法。由于群运算相对于有限域中元素的加法和乘法是复杂的，MSM算法的目标是尽可能减少群运算的次数。本文详细介绍了一些针对MSM算法的优化方法。
Sin7Y
Miden的stark证明系统
miden是⼀个基于stark技术的zkVM实现方案。它的底层是基于winterfell这个zkp库来生成stark证明和对证明进行验证。本文对miden证明系统架构进行了详细阐述。
Sin7Y
STARK - 深度解析
作为不需要可信设置的零知识证明算法代表之一，STARK 算法被应用于 StarkNet 生态的各个项目中，比如 dydx、ImmutableX 等，并表现出了不俗的性能。本文将主要从代码层面剖析 STARK 算法的实现过程，帮助大家对 STARK 算法有更深入的理解。
Sin7Y
Verkle Tree For ETH
Verkle Tree作为ETH2.0升级的一个重要部分，其相比于Merkle Tree，在Proof的大小上，有着很大的提升。Verkle Tree的概念在2018年推出，本文将主要介绍VerkleTree的原理。
Sin7Y
TinyRam 指令集和电路约束
Tinyram是一个简单的RISC随机存取机器，具有字节寻址的 random-access memory 和 input tapes。本文重点介绍了Tinyram的指令集和电路约束。
Sin7Y
Sin7Y团队深入解读—— TinyRAM
我们讲了TinyRAM的架构，设计，汇编指令等，介绍了它的优势：可以⽤来便捷的进⾏非确定性计算。尤其在零知识证明系统中，有更多的发挥空间。最后介绍了两种TinyRAM架构的性能对⽐，在⽣成的⻔数量和时间以及proof⼤小上，冯诺依曼架构都更胜⼀筹。
Sin7Y
Industry News
Market Trends
Curated Readings
Subscribe