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