Naci Cankaya comments on Make Powerful Machines Verifiable

[Naci Cankaya]

Construct the circuits? Can you explain what you mean by that?