.@FormallyJon analyzed the features of various ZK languages/frameworks in his talk at ZK Accelerate earlier today.