header image
avatar

Sin7Y

Sin7Y

Sin7Y is a research community dedicated to delivering insightful research reports and technical reviews of the crypto industry.
Subscribe to Sin7Y
Receive new entries directly to your inbox.
Card Header

Hello, OlaVM!

November 15th, 2022
We are working on building the first ZKVM based on a parallel execution architecture and achieving higher TPS through the improvement of ZK-friendly design and ZK algorithms. 
Publisher Avatar Sin7Y
Sin7Y
0x7565
Card Header

Sin7Y Tech Review(30): Thoughts on removing Memory constraints in the ZKEVM

September 9th, 2022
Details of this article can be found in Sin7Y’s HackMD channel.
Publisher Avatar Sin7Y
Sin7Y
0x7565
Card Header

Sin7Y Tech Review(29): Design Principles of Private 
 Transactions in Aleo & Zcash

September 2nd, 2022
Details of this article can be found in Sin7Y’s HackMD channel.
Publisher Avatar Sin7Y
Sin7Y
0x7565

Sin7Y: About the Sinsemilla hash function used in OlaVM

August 5th, 2022
Details of this article can be found in Sin7Y’s HackMD channel.
Publisher Avatar Sin7Y
Sin7Y
0x7565
Card Header

Sin7Y Tech Review (28): Specification for Marlin

July 22nd, 2022
Details of this review can be found in Sin7Y’s HackMD channel.
Publisher Avatar Sin7Y
Sin7Y
0x7565
Card Header

Sin7Y Tech Review (27): Combined Selector

June 23rd, 2022
When designing the zkvm circuit, because of many custom gates determined, there are a lot of binary selectors are introduced. Check out our analysis!
Publisher Avatar Sin7Y
Sin7Y
0x7565
Card Header

Sin7Y Tech Review (26): TinyRAM instruction set and circuit constraints

June 17th, 2022
TinyRAM is a simple Reduced Instruction Set Computer (RISC) with byte-level addressable random-access memory and input tapes.
Publisher Avatar Sin7Y
Sin7Y
0x7565
Card Header

Sin7Y Tech Review (25): STARK - An In-depth Technical Analysis

June 10th, 2022
Have a look at this technical deep dive into STARKs.
Publisher Avatar Sin7Y
Sin7Y
0x7565

Sin7Y Tech Review (24): The Stark Proof System of Miden V1

June 2nd, 2022
Miden is a stark technology-based ZKVM implementation solution. In its basic layer, the stark proof is generated based on the ZKP library and the proof will be verified.\*
Publisher Avatar Sin7Y
Sin7Y
0x7565