Re: A new hard problem



On 8 4 , 4 12 , Thomas Pornin <por...@xxxxxxxxx> wrote:
According to bobic <fblo...@xxxxxxxxxxx>:

Hi, guys, recently, I meet the following problem, it seems hard,
however, I have no idea about how hard it is. Can you help me? Thanks
in advance!

On input g^a, g^b, a/b, to compute a.

Let's suppose that g is the generator for a finite, cyclic group G.
The group is known, it has order q. g is known. a and b are integers
modulo q (0 < a < q and 0 < b < q) and neither is known.

Then your problem is equivalent to discrete logarithm.

If you can solve discrete logarithm in G, then you can compute a from
g and g^a.

On the other hand, assume that you know g^x and want to compute x.
Choose a random integer v modulo q and decide that a = vx and b = x.
You can compute g^a = (g^x)^v
You have g^b = g^x
You have a/b = (vx)/x = v
Hence you have an instance of your problem. If you can solve it,
then you get vx and can compute x = (vx)/v.

--Thomas Pornin

That's it! Thank you very much!

.



Relevant Pages

  • Re: bilinear pairing between special groups
    ... the units modulo n^2 do not form a cyclic group (when n is of the form ... The units modulo k ... Let a be a generator for G, and let b be an element ... The "discrete logarithm of b to the base a", log_a, is the ...
    (sci.math)
  • Re: A new hard problem
    ... On input g^a, g^b, a/b, to compute a. ... Let's suppose that g is the generator for a finite, cyclic group G. ... Then your problem is equivalent to discrete logarithm. ... Choose a random integer v modulo q and decide that a = vx and b = x. ...
    (sci.crypt)
  • Re: bilinear pairing between special groups
    ... working in the cyclic group of order q that is sitting inside of ^*, because you do not have a way of FINDING that group. ... Then, you do not have a way of relating this algorithm from this paper to the problem you would ->then<- have, so you do not have an efficient algorithm even for the situation to which you cannot get in an efficient manner. ... Then, you are asking whether there is an efficient way of calculating the discrete logarithm of a product, given that you know the two factors, in that setting. ... IF such a method were known, then the original problem would have a known efficient solution. ...
    (sci.math)
  • Re: bilinear pairing between special groups
    ... you can let G_2 be ANY group that contains a cyclic group ... discrete logarithm". ... It's that the discrete logarithm problem ... exponential time). ...
    (sci.math)

Quantcast