| 1. | Just come along as a verifier , she was told.
venez donc jouer au vérificateur. |
| 2. | It was possible to bypass the bytecode verifier and access the native underlying operating system.
Il était possible de contourner le vérificateur de bytecode et d'accéder aux méthodes du système d'exploitation natif sous-jacent. |
| 3. | The two provers cannot communicate once the verifier has begun sending messages to them.
Les deux prouveurs ne peuvent pas communiquer une fois que le vérificateur a commencé à leur envoyer des messages. |
| 4. | IPP (unbounded IP) is a variant of IP where we replace the BPP verifier by a PP verifier.
IPP (IP non bornée) est une variante de IP où l’on remplace le vérificateur BPP par un vérificateur PP. |
| 5. | IPP (unbounded IP) is a variant of IP where we replace the BPP verifier by a PP verifier.
IPP (IP non bornée) est une variante de IP où l’on remplace le vérificateur BPP par un vérificateur PP. |
| 6. | In 1986, he cofounded Man-Made Minions Ltd to pursue the development of an automated formal program verifier.
En 1986, il est devenu le cofondateur de Man-Made Minions Ltd où fut mené le développement d’un programme de vérification formelle. |
| 7. | Thus, Arthur acts as a probabilistic polynomial-time verifier, assuming it is allotted polynomial time to make its decisions and queries.
Ainsi, Arthur se comporte comme un vérifieur probabiliste en temps polynomial, en supposant qu'Arthur dispose d'un temps polynomial pour faire ses décisions et ses requêtes. |
| 8. | A subset of IP is the deterministic Interactive Proof class, which is similar to IP but has a deterministic verifier (i.e. with no randomness).
Une sous-classe de IP est celle des preuves interactives déterministes, qui est similaire à IP mais utilise un vérificateur déterministe (c’est-à-dire sans aléatoire). |
| 9. | With the oracle, the prover can easily solve the problem, but its limited power makes it much more difficult to convince the verifier of anything.
Avec l’oracle, le prouveur peut facilement résoudre le problème, mais sa puissance limitée lui rend bien plus difficile la tâche de convaincre le vérificateur de quoi que ce soit. |
| 10. | QIP is a version of IP replacing the BPP verifier by a BQP verifier, where BQP is the class of problems solvable by quantum computers in polynomial time.
QIP est une version d’IP où l’on remplace le vérificateur BPP par un vérificateur BQP, où BQP est la classe des problèmes décidables par ordinateurs quantiques en temps polynomial. |
