namespace vdf { sequence wesolowski_solve(u16 int_size_bits, [ByRef] sequence challenge, u32 difficulty); boolean wesolowski_verify(u16 int_size_bits, [ByRef] sequence challenge, u32 difficulty, [ByRef] sequence alleged_solution); };