Sin7Y
113粉絲14文章
Sin7y技術解讀：交易並行執行
本次調研對比了類似以太坊的實現系統，分析了交易並行執行的難點和可能性。
Sin7Y2022-12-29 11:55
一文了解Lookup Arguments
本文將重點介紹使得OlaVM獲得高性能的工具之一，Lookup argument。
Sin7Y2022-12-19 09:30
OlaVM來啦
當前進展和下一步規劃。
Sin7Y2022-11-17 14:52
關於在ZKEVM 中移除內存限制的一些想法
在ZKVM的約束系統中，或許可以在VM層面去設計內存訪問機制，以減少zk約束的規模。
Sin7Y2022-09-13 13:19
從Zcash和Aleo的技術出發，理解隱私交易的設計原理
分析Zcash和Aleo的技術異同，理解隱私交易的設計原理。
Sin7Y2022-09-06 08:53
Cairo - 指令
本文從多個角度對Cairo指令進行了詳細解讀，涉及狀態轉換、轉換邏輯、指令校驗、指令示例等。
Sin7Y2022-08-19 06:58
關於Sinsemilla哈希函數在OlaVM中的應用
本文回應了Zcash協議的主要作者Daira Hopwood針對OlaVM提出的幾點問題，同時介紹了Sinsemilla 哈希函數的設計思想及其在OlaVM 中的應用。
Sin7Y2022-08-17 10:29
Specification for Marlin
本文對基於R1CS的證明系統的零知識證明算法Marlin進行了詳細解讀。
Sin7Y2022-08-17 09:45
Multi-Scalar Multiplication 算法優化
Multi-Scalar Multiplication (MSM) 是計算多個乘法運算之和的算法。由於群運算相對於有限域中元素的加法和乘法是複雜的，MSM算法的目標是盡可能減少群運算的次數。本文詳細介紹了一些針對MSM算法的優化方法。
Sin7Y2022-08-17 07:59
Miden的stark證明系統
miden是⼀個基於stark技術的zkVM實現方案。它的底層是基於winterfell這個zkp庫來生成stark證明和對證明進行驗證。本文對miden證明系統架構進行了詳細闡述。
Sin7Y2022-08-16 12:49
STARK - 深度解析
作為不需要可信設置的零知識證明算法代表之一，STARK 算法被應用於StarkNet 生態的各個項目中，比如dydx、ImmutableX 等，並表現出了不俗的性能。本文將主要從代碼層面剖析STARK 算法的實現過程，幫助大家對STARK 算法有更深入的理解。
Sin7Y2022-08-16 12:37
Verkle Tree For ETH
Verkle Tree作為ETH2.0升級的一個重要部分，其相比於Merkle Tree，在Proof的大小上，有著很大的提升。 Verkle Tree的概念在2018年推出，本文將主要介紹VerkleTree的原理。
Sin7Y2022-08-16 11:44
TinyRam 指令集和電路約束
Tinyram是一個簡單的RISC隨機存取機器，具有字節尋址的random-access memory 和input tapes。本文重點介紹了Tinyram的指令集和電路約束。
Sin7Y2022-08-16 07:55
Sin7Y團隊深入解讀—— TinyRAM
我們講了TinyRAM的架構，設計，彙編指令等，介紹了它的優勢：可以⽤來便捷的進⾏非確定性計算。尤其在零知識證明系統中，有更多的發揮空間。最後介紹了兩種TinyRAM架構的性能對⽐，在⽣成的⻔數量和時間以及proof⼤小上，馮諾依曼架構都更勝⼀籌。
Sin7Y2022-07-07 07:00
行業要聞
市場熱點
精選讀物
點擊訂閱