Uncategorized - Shuang's Crypto Notes

Coding skills keywords

This post collects the concepts people mentioned for different programming languages, so I can understand what they are talking about.

Rust:

ownership,

lifetimes,

memory safety

Tokio

async await,

event driven Rust systems

asynchronous programming and concurrency patterns

C++:

template meta-programming, SFINAE, RAII, constexpr,

multithreading, web protocol (e.g. websocket, RESTful)

event-driven …

NRK Norwegian video

use this command to download all the subtitles

yt-dlp --skip-download --write-subs --sub-format vtt --convert-subs srt "https://tv.nrk.no/serie/peppa-gris/sesong/10/episode/MSUI36000124"

…

Neovim

I follow this video to setup vim

config package I installed: NvChad

Install copilot

install telescope follow this video

three modes:

normal, insert, command line mode

…

Efficient Self Learning Path

watch video and take notes path:

use this site to transfer video to audio

use whisper to transfer audio to text

command:

whisper "Understanding a Program's Memory Layout.mp3" --model small --language en --output_format txt

upload text to chatgpt to make a leaning note and summary,

expanding notes while watching video.

…

Register, RAM, SSD, STACK, HEAP

1. Register

🧬 What it is: The smallest and fastest memory inside a CPU.
📏 Size: Typically 32, 64, or 128 bits.
⚡ Speed: Blazing fast (nanoseconds).
🔁 Use: Stores data the CPU is immediately operating on (e.g., numbers during calculations).

2. RAM (Random Access Memory)

🧠 Also

…

Plonkchip add bus in eval

PowdrAir Eval

PowdrAir eval is in the chip.rs

following the implementation of powdrChip powdrAir, the eval function add constraint and bus interactions, powdrAir stores the symbolic_machine

let’s see where the powdrAir is initiated

it’s new function take machine as an input:

check where thies new function is called.

in powdrChip, …

Powdr Autopre-compile

From lib.rs, there is test, checking prove simple:

check what this prove simple means

there are some prove and compile, prove recursion basic function in this file.

Compile:

In the compile function, there are two functions til now I think it is important: instruction_to_airs and customize

Instructions_to_airs:

in this instruction …

Logup-GKR batching concept

IOP: prove evaluation of a multi-linear extension polynomial

a cyclic group in base Field \( \mathbb{H} \) (STARK trace domain)

base Field \(\mathcal{F}\)

4th degree extension of base Field, Secure Field \(\mathcal{SF}\)

\(a(w)\) is a univariate polynomial of degree \(2^d\) (STARK trace), \(w\in \mathbb{H}\)

\(f(b_0,b_1,…,b_d)\) is a multi-variate function (STARK …

Logup GKR

following this post

Witness encoding:

trace columns are interpreted as functions, the inputs of the function are bits, enough number of bits that can present \(n\) number of witness in this column.

for trace \(i\), with \(n\) number of rows (trace degree, trace length)

\(f_i(b_0,b_1,b_2,…,b_n)=a_{b_n,…,b_2,b_1,b_0} \)

the multi-linear polynomial for …

The bus_id in Bus

I am using a simplified circuit for case demonstration purpose:

The bus statement to be proved is:

\([x_0,x_1]\) in [0] with \(bus_{id}\)=a,

this case has only one valid witness [0,0], with multiplicity to be 2

Original protocol:

The above statement essentially proves:

\(\frac{1}{\alpha -x_0}+\frac{1}{\alpha -x_1}=\frac{2}{\alpha}\)

where \(\alpha\) is a random …