notes

how bitvm2 works how circ works noname hint presentation hint function design stdlib, non-deterministic function and circ how circom works