Copyright | (c) Eric Crockett 2011-2017 Chris Peikert 2011-2017 |
---|---|
License | GPL-2 |
Maintainer | ecrockett0@email.com |
Stability | experimental |
Portability | POSIX |
Safe Haskell | None |
Language | Haskell2010 |
Verify RLWE/RLWR challenges to ensure that challenges are generated faithfully.
- verifyMain :: FilePath -> IO ()
- verifyInstanceU :: MonadError String m => InstanceU -> m ()
- readChallenge :: (MonadIO m, MonadError String m) => FilePath -> String -> m (BeaconAddr, [InstanceU])
- regenChallenge :: MonadIO m => FilePath -> String -> m (Maybe ())
- beaconAvailable :: MonadIO m => FilePath -> BeaconEpoch -> m Bool
- readBeacon :: (MonadIO m, MonadError String m) => FilePath -> BeaconEpoch -> m Record
Documentation
verifyMain :: FilePath -> IO () Source #
Verifies all instances in the challenge tree, given the path to the root of the tree.
verifyInstanceU :: MonadError String m => InstanceU -> m () Source #
Verify an InstanceU
.
readChallenge :: (MonadIO m, MonadError String m) => FilePath -> String -> m (BeaconAddr, [InstanceU]) Source #
Read a challenge from a file, outputting the beacon address and a list of instances to be verified.
regenChallenge :: MonadIO m => FilePath -> String -> m (Maybe ()) Source #
Reads a challenge and attempts to regenerate all instances from the provided seed. Returns (Just ()) if regeneration succeeded for all instances.
beaconAvailable :: MonadIO m => FilePath -> BeaconEpoch -> m Bool Source #
Whether we have an XML file for the beacon at the given epoch.
readBeacon :: (MonadIO m, MonadError String m) => FilePath -> BeaconEpoch -> m Record Source #
Read an XML file for the beacon corresponding to the provided time.