Lighter open-sources ZK proof circuits code for full trade verification.