1Explainer of the most widely used zero-knowledge proof system (opens in new tab)(blog.zksecurity.xyz)3baby24d ago0Save
2Breaking Jolt's Verifier with an Unbound Uni-Skip Claim (opens in new tab)(blog.zksecurity.xyz)2baby1mo ago0Save
5Sum-Check as an Algebraic Tensor Reduction: Part I (opens in new tab)(blog.zksecurity.xyz)2baby1mo ago0Save