The arithmetic-circuits from sdiehl

arithmetic-circuits's People

Contributors

Stargazers

Watchers

arithmetic-circuits's Issues

Problem with `stack test`

on current master (18e15de)
I get the following error on stack test

pairing            > [10 of 11] Compiling Data.Pairing.Hash
pairing            >
pairing            > /tmp/stack-9ebfe010c6b08242/pairing-1.0.0/src/Data/Pairing/Hash.hs:48:12: error:
pairing            >     • Could not deduce (Bits (Prime q))
pairing            >         arising from a use of ‘fromBytes’
pairing            >       from the context: (MonadRandom m, ECPairing e q r u v w)
pairing            >         bound by the type signature for:
pairing            >                    swEncBN :: forall e (m :: * -> *) (q :: Nat) (r :: Nat) u v w.
pairing            >                               (MonadRandom m, ECPairing e q r u v w) =>
pairing            >                               ByteString -> m (Maybe (G1 e))
pairing            >         at src/Data/Pairing/Hash.hs:(44,1)-(45,35)
pairing            >     • In the expression: fromBytes bs
pairing            >       In an equation for ‘t’: t = fromBytes bs
pairing            >       In the second argument of ‘($)’, namely
pairing            >         ‘do sqrt3 <- hoistMaybe $ sr $ - 3
pairing            >             let t = fromBytes bs
pairing            >                 s1 = (sqrt3 - 1) / 2
pairing            >                 ....
pairing            >             guard (b1 + t * t /= 0)
pairing            >             if t == 0 then
pairing            >                 if b1 == 3 then
pairing            >                     return $ A (- 1) 1
pairing            >                 else
pairing            >                     if b1 == 4 then return $ A 1 2 else ...
pairing            >             else
pairing            >                 do let ...
pairing            >                    ....’
pairing            >    |
pairing            > 48 |   let t  = fromBytes bs
pairing            >    |            ^^^^^^^^^^^^
pairing            >

Is building / testing with stack supported?
I realize that this is for pairing. I can build / test pairing master without problem, but its 1.0 tag cannot be build. arithemtic-circuits requires >= 1.0 and < 1.1

~/s/g/H/K/pairing ((1.0)|✔) $ stack build                              
                                                                                                                                                                                
Error: While constructing the build plan, the following exceptions were encountered:                         
                                                               
In the dependencies for poly-0.3.2.0:                                  
    vector-algorithms-0.8.0.1 from stack configuration does not match >=0.8.0.3  (latest matching version is 0.8.0.3)                                                           
needed due to pairing-1.0.0 -> poly-0.3.2.0

Maybe that is the problem?

Recommend Projects