We're writing a small article for our @class_lambda blog about SNARK verification in Bitcoin.

Apart from the BitVM and ColliderVM papers and the criticism from @rot13maxi and @AlpenLabs posts, which other articles or posts should we read or reference? Thanks!