a16z crypto, a division of Andreessen Horowitz, has introduced two technologies, Lasso and Jolt, aimed at improving the efficiency of SNARKs.