PublicKeyVerschlüsselung
PublicKeyVersc is a hypothetical cryptographic concept that combines principles of public-key cryptography with an advanced form of verifiable computation. In essence, it aims to enable a verifier to confirm the correctness of a computation performed by a prover, without the verifier needing to re-execute the entire computation themselves. This is achieved through the use of a public key infrastructure, where the computation itself is associated with a public key.
The core idea is that a prover can generate a short, verifiable proof of a complex computation.
Potential applications for PublicKeyVersc include secure cloud computing, where users can delegate computations to untrusted servers