Es gibt technische Herausforderungen bei der Implementierung, wie die Sicherstellung der Korrektheit der Proofs und die Notwendigkeit einer hohen Rechenleistung.