public void VerifyNonPrimal() { var bits = Random.Bits().TakeSpan(Pow2.T08); var bytes = bits.AsBytes(); Claim.eq(bits.Length, bytes.Length); for (var i = 0; i < bits.Length; i++) { Claim.eq((byte)bits[0], bytes[0]); } }
public void Experiment() { //Create an explicit bit pattern var pattern = Random.Bits().Select(x => (byte)x).TakeArray(32); //Push pattern into a 256-bit vector var vPattern = Vec256.Load(pattern); //Define permutation var perm = Perm.Define <N32>((1, 10), (2, 11), (3, 8)); var vPerm = Vec256.Load(perm.Terms); //var result = dinx.permute(vPattern, vPerm) }