Fundamental protocols:
- Parallel Computing in Rust and C++ part 1
- Procedural macro
- Transpiler, Interpreter, Runtime
- Ownership in Rust
- Rust dynamic and static dispatch
- Sumcheck optimization 2: Quasilinear Time and Square-Root Space old implementation
- Stream prover
- Debugging Rust in VS code
- Coding skills keywords
- Sumcheck optimization 1: linear space and linear time old implementation
- Stack and Heap
- A piece of GPU code
- Compiler 1o1, GNU, LLVM
- GPU 101
- Flamegraph
- .env
- Standard stream
- Understanding Logic Programming Engines
- 5 Types of zkEVMs
- Smaller Field in zkvm
- Committing to matrices with one-hot rows
- LLVM, ZKVM, ELF
- Twist – 1
- NRK Norwegian video
- 32-bit risc-v system
- Two’s complement
- Security level best practice
- Neovim
- RISC-V Instructions
- ISA
- What is Kubernetes
- Efficient Self Learning Path
- From Program to Constraints.
- Memory Layout
- Binius 1
- Confusing concepts in abstract algebra
- Endomorphism
- Pippenger Algorithm for Multi-Scalar Multiplication (MSM)
- Lazy Field Arithmetic & Magnitude Tracking (in k256)
- 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
- Binary function and its Multilinear Extension Transform and its transform in sum-check
- 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