The Understanding Lasso - A Novel Lookup Argument Protocol paper contains an overview of Lasso lookup argument used in Jolt ZK-VM. It covers the Sona multilinear polynomial commitment, Sum-Check protocol, Offline memory check and Spark/Surge.
The Understanding Lasso - A Novel Lookup Argument Protocol paper contains an overview of Lasso lookup argument used in Jolt ZK-VM. It covers the Sona multilinear polynomial commitment, Sum-Check protocol, Offline memory check and Spark/Surge.