
Sin7Y's Thoughts on Removing Memory Constraints in the ZKEVM | HackerNoon
ZKEVM is a programmable virtual machine that can generate a ZK proof for all operations performed by the VM to prove the correctness of the operations performed

All About OlaVM and What Lies Ahead! | HackerNoon
OlaVM: how far we have come and what's happening next!

Fflonk - A New Plonk Protocol: Sin7Y Tech Review (13) | HackerNoon
Through careful research, we found that a simple transformation can improve the performance of Verify significantly.

Design Concept and Applications of Custom Gate: Sin7Y Tech Review (19) | HackerNoon
Read on to know the research on the design concept and solution plan for ZKEVM, which requires a custom gate.

Optimization of Multi-Scalar Multiplication Algorithm: Sin7Y Tech Review (21) | HackerNoon
Let's go through the optimization of Multi-Scalar Multiplication Algorithm.

Trade it Like it is HOT: A Review of Popular ZK Projects and the Zero-Knowledge Proof Technology | HackerNoon
Privacy has always been regarded as one of the most valuable features in the cryptocurrency community.

How Does the STARK-Based Proof of Execution Process Work on Miden V1? | HackerNoon
Miden is a stark technology-based ZKVM implementation solution.

Oh Just a Stark Technical Analysis | HackerNoon
Let's take a look at an Indepth Technical Analysis of STARK, which is a proof system.

What is a TinyRAM Instruction Set? | HackerNoon
In this article, we will focus on the introduction of instructions and circuit constraints of TinyRAM.

How to Design the ZKVM Circuit | HackerNoon
We will not perform the field division operation at the circuit level, instead, we will make it by verifying the following logical relationship.