#ifndef KEYGEN_H
#define KEYGEN_H

#include <stdint.h>
#include "polx.h"
#include "poly.h"
#include "polz.h"

void keygen(poly *a1,
            poly *a2,
            polx *a3,
            polx a[2],
            polx b[2],
            polz *u,
            polx s[4]);

#endif
