Protocols

This section shows how protocols mix arithmetization techniques and polynomial commitment schemes, to actually obtain provable computation.