Skip to content
- ECDSA
- Add more chips to OpenVM
- Compiler Concepts
- Register, RAM, SSD, STACK, HEAP
- Trace back CLI parameters
- Precompile, chip, air, pc_lookup
- Plonkchip add bus in eval
- Add bus interactions for plonk circuit
- PowdrChip and PlonkChip
- Powdr Autopre-compile
- About Keccak
- Compiler Concept
- Logup-GKR batching concept
- Logup GKR in an example
- logup GKR stwo implementation steps
- Stwo logup-GKR : build test example
- Stwo Logup with GKR: extra traces for GKR
- Logup GKR – 3: Air constraint for STARK
- Logup GKR 2
- Logup GKR
- Commonly used tricks in Multilinear polynomials
- High degree constraint in Plonky3 and Stwo
- The bus_id in Bus
- Note for bus in stwo 2
- Notes for bus in stwo
- Spartan 5
- Native logup implementation of Stwo backend Powdr -2
- Deep dive to InfoEvaluator of Stwo
- Native logup implementation of Stwo backend Powdr
- Bus in different field -1
- Spartan 4
- Spartan 3
- On my way to review, about lookup –1
- Spartan 2 some basic terminologies
- Implement Stwo challenger in Powdr 2
- Implement Stwo challenger in Powdr 1
- Communication buses 1
- Powdr plonky3 logging
- Plonky3 notes about some basics
- Stwo Commitment Data Structure
- Plonky3 logging
- Add publics to Powdr STWO prover 1
- Isomorphism
- Polynomial Field
- Extension Field
- prove with polynomials with variant size in stwo
- Review, remove_trait_impls
- Circle STARK: FFT on circle domain
- Notes on Risc-V ZKVMs with Uma Roy
- Runtime
- Circle STARK: Understanding Circle Group’s Operation as Rotation
- Coset
- Stwo Coset Establishment
- The files in Powdr
- Stwo til now –21.Oct
- Constraint system in STWO
- How Powdr translates PIL to Plonky3 and what about to stwo —2
- Powdr command list
- How Powdr translates PIL to Plonky3 STARK—1
- stwo fibonacci
- Stwo backend note2
- About the repetition in GKR
- Powdr RISCV ZKVM start
- Libra GKR Prover
- VADCOP —2
- VADCOP —-1
- Rust code 0307
- Spartan- part 1
- arkwork ark-poly
- Docker
- Rust notes
- Rust Coding notes
- Brainfuck VM instance
- GKR Part 2 -example
- Nova
- Sum-check design philosophy, why it works?
- Sum-check Protocol
- FFT Part 1: 8 Points NTT Butterfly
- Rust Basics
- GKR –Part1: Arithmetization
- Upon understanding the attack on Nova — Part 1
- Nova from scratch
- About Halo2 multipoints openning
- Wormhole
- STARK 101 coding note
- zkVM
- A rough description for STARK
- The core of FRI IOP
- IPA in Bulletproof, a rough description
- Plonk in a short description
- On Understanding of the Permutation in Plonk
- Elliptic Curves In Practice–Part 1
- Abstract Algebra
- The Short NIZK Argument in Pribank
- KZG Commitment
- From Arithmetic Circuit to Quadratic Arithmetic Programs