Learning new things!
what stream prover exactly means? find definition here (page 5):
So the “streaming” means that the witness of the sumcheck protocol, i.e., the evaluations of a multilinear polynomial, is not counted in the RAM of the prover, prover doesn’t need to store this information, but only re-generated it when every …
follow the instruction in this video
…
This post collects the concepts people mentioned for different programming languages, so I can understand what they are talking about.
ownership,
lifetimes,
memory safety
Tokio
async await,
event driven Rust systems
asynchronous programming and concurrency patterns
template meta-programming, SFINAE, RAII, constexpr,
multithreading, web protocol (e.g. websocket, RESTful)
event-driven …
protocol:
Optimization in special case:
linear time, linear space prover:
Analysis:
To what I can think of:
\(d\cdot (d-1) \cdot 2^{l-1}\) small multiplication come from that \(s_1(u)\) is a \(d\) degree polynomial, that means prover needs to send \(d\) points to the verifier(shouldn’t be d+1?), for each points, there will …
note from this video
The memory assigned to a program in typical architecture has 4 segments:
Let me show an example of program execution:
there are memory reserved as stack and memory reserved as static or global variable …
In the main code, the function is called like:
vec_add<<<blocks, threads(d_a, d_b, d_c, n);This function runs on the GPU, executes many threads at the same time. Each thread runs the same code, but with difference IDs. This is SIMT: singe instruction, multiple threads.
This note covers the following points:
GCC = GNU Compiler Collection
Originally:
gcc)CUDA = NVIDIA-only, low-level, maximum control
wgpu = portable, safe-ish, modern GPU abstraction used by Rust
wgpu is a Rust library that exposes modern GPU features in a portable way.
Under the hood, it runs on:
A flamegraph is a visualization used to understand where a program spends its time — most commonly for CPU profiling, but also for memory, I/O, or other performance profiling.
A flamegraph is a stack trace visualization where:
it used to store secret locally instead of Git or Cloud.
short introduction here
In powdr reth benchmark, save rpc in .env, and in the script, it does
source .env…