Tags
pazk
A (Relaxed) PCS by Merkle Trees and Low-Degree Tests
An Unnecessarily Generic Fiat-Shamir Transformation
The GKR Protocol
Efficient IP for MatMult
Generalizing Sum Check protocol and counting the triangles
Implementing Sum Check protocol in Rust
Evaluating multilinear extensions with Rust
rust
PlonK Permutation Check
A (Relaxed) PCS by Merkle Trees and Low-Degree Tests
An Unnecessarily Generic Fiat-Shamir Transformation
The GKR Protocol
Efficient IP for MatMult
Generalizing Sum Check protocol and counting the triangles
Implementing Sum Check protocol in Rust
Evaluating multilinear extensions with Rust
zk
PlonK Permutation Check
A (Relaxed) PCS by Merkle Trees and Low-Degree Tests
An Unnecessarily Generic Fiat-Shamir Transformation
The GKR Protocol
Efficient IP for MatMult
Generalizing Sum Check protocol and counting the triangles
Implementing Sum Check protocol in Rust
Evaluating multilinear extensions with Rust