23:36ZK14 - Jolt Atlas: Verifiable Inference via Lookup Arguments in Zero Knowledge - Antoine DouchetZero Knowledge137 viewsView & Download
6:54Combinational logic - Introduction to two-level combinational logic synthesis (A. Miele)Polimi OpenKnowledge6 viewsView & Download
14:21Digital Electronics: Boolean Expression Simplification ProblemsSanjeev Academy4 viewsView & Download