Sharing progress on a powerful type of cryptographic proof known as a zkSNARK, which is uniquely fit for provable inference.