convex-backend vs provsql

Compare convex-backend and provsql using verifiable public signals, licensing and project quality.