X-FeedAbuse: http://nntpfeed.proxad.net/abuse.pl feeded by 82.66.60.35
Path: ...!news.mixmin.net!proxad.net!feeder1-2.proxad.net!nntpfeed.proxad.net!pasdenom.info!from-devjntp
Message-ID: <a0tGykFCac3EYgMNQ2rma1gMUPg@jntp>
JNTP-Route: news2.nemoweb.net
JNTP-DataType: Article
Subject: Re: Preuve de transfert
References: <UIvzzOGDfoNraCnAKqSletaOHvA@jntp> <tapgo2$2u5t$1@cabale.usenet-fr.net> <FQynwbASehb_ZmZqlZB6KcAzSz4@jntp>
Newsgroups: fr.sci.maths
JNTP-HashClient: INqh2__i6ugNiGbbcwVmzUK23OA
JNTP-ThreadID: jQlT-kjzg3HhJzTgCDpHmS6MQ24
JNTP-ReferenceUserID: 1@news2.nemoweb.net
JNTP-Uri: http://news2.nemoweb.net/?DataID=a0tGykFCac3EYgMNQ2rma1gMUPg@jntp
User-Agent: Nemo/0.999a
JNTP-OriginServer: news2.nemoweb.net
Date: Sat, 16 Jul 22 08:27:54 +0000
Organization: Nemoweb
JNTP-Browser: Mozilla/5.0 (Macintosh; Intel Mac OS X 10_15_7) AppleWebKit/537.36 (KHTML, like Gecko) Chrome/103.0.0.0 Safari/537.36
Injection-Info: news2.nemoweb.net; posting-host="53ecbec632b1eab902064619fb8c3dba02d152e5"; logging-data="2022-07-16T08:27:54Z/7077402"; posting-account="1@news2.nemoweb.net"; mail-complaints-to="newsmaster@news2.nemoweb.net"
JNTP-ProtocolVersion: 0.21.1
JNTP-Server: PhpNemoServer/0.94.5
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 8bit
X-JNTP-JsonNewsGateway: 0.96
From: Julien Arlandis <julien.arlandis@gmail.com>
Bytes: 3476
Lines: 45

Le 15/07/2022 à 21:49, Julien Arlandis a écrit :
> Le 14/07/2022 à 18:37, Olivier Miakinen a écrit :
>> Bonjour,
>> 
>> Le 14/07/2022 17:11, Julien Arlandis a écrit :
>>> 
>>> Alice, Bob et Charlie disposent d'un canal de communication pour 
>>> transférer des informations.
>>> Le but de l'exercice est de trouver un protocole qui permet à Alice et 
>>> Bob de prouver à Charlie que Alice a bien transféré une information de 
>>> taille N1 à Bob (N1 étant le nombre de bits) et pour cela Bob et Alice 
>>> ne peuvent transférer à Charlie qu'une information de taille inférieure 
>>> à N2.
>>> 
>>> On considère que N1 = 10^12, et N2 = 10^6.
>>> 
>>> Quel protocole Charlie va t-il imposer à Bob et Alice ?
>> 
>> J'ai l'impression qu'il manque plein d'informations dans l'énoncé du
>> problème.
>> 
>> Par exemple :
>> - est-ce que Charlie connaît l'information qu'Alice est censée avoir
>>   transféré à Bob ?
> 
> Pas forcément, il veut juste avoir la garantie que N1 bits ont bien été 
> échangé entre Alice et Bob.
> 
>> - s'il ne la connaît pas au départ, est-ce un problème s'il en découvre
>>   une partie lors de sa vérification ?
> 
> Non aucun problème.
> 
>> Voilà pour commencer. ;-)
> 
> Note que je n'ai pas la réponse à cette énigme et je ne sais même pas si 
> c'est possible. Si c'est impossible j'aimerais bien pouvoir le prouver.

Notons que dans le cas N1 = N2, il existe un protocole trivial : Charlie 
crée une information aléatoire de taille N1 qu'il transmet à Alice, que 
Alice transmet à Bob, que Bob transmet à Charlie. Si l'information n'a 
pas été altérée, preuve est faite que le transfert d'information a 
bien eu lieu entre Alice et Bob. Dans ce cas, on peut dire que la preuve 
de transfert est de même volumétrie que le transfert à prouver.
L'intérêt de l'exercice c'est de savoir jusqu'où on peut abaisser N2 
relativement par rapport à N1.