diff --git a/Cargo.toml b/Cargo.toml
index fa6728a290..58e91040c5 100644
--- a/Cargo.toml
+++ b/Cargo.toml
@@ -33,9 +33,11 @@ name = "lighthouse"
 [workspace]
 members = [
 	"beacon_chain/types",
+	"beacon_chain/transition",
 	"beacon_chain/utils/bls",
 	"beacon_chain/utils/boolean-bitfield",
 	"beacon_chain/utils/hashing",
+	"beacon_chain/utils/honey-badger-split",
 	"beacon_chain/utils/shuffling",
 	"beacon_chain/utils/ssz",
 	"beacon_chain/utils/ssz_helpers",
diff --git a/beacon_chain/transition/Cargo.toml b/beacon_chain/transition/Cargo.toml
new file mode 100644
index 0000000000..c17d6994fd
--- /dev/null
+++ b/beacon_chain/transition/Cargo.toml
@@ -0,0 +1,9 @@
+[package]
+name = "transition"
+version = "0.1.0"
+authors = ["Age Manning <Age@AgeManning.com>"]
+
+[dependencies]
+honey-badger-split = { path = "../utils/honey-badger-split" }
+types = { path = "../types" }
+shuffling = { path = "../utils/shuffling" }
diff --git a/beacon_chain/transition/src/delegation/mod.rs b/beacon_chain/transition/src/delegation/mod.rs
new file mode 100644
index 0000000000..66f3304f3a
--- /dev/null
+++ b/beacon_chain/transition/src/delegation/mod.rs
@@ -0,0 +1,6 @@
+use super::honey_badger_split;
+use super::types;
+use super::TransitionError;
+use super::shuffling::shuffle;
+
+pub mod validator;
diff --git a/beacon_chain/transition/src/delegation/validator.rs b/beacon_chain/transition/src/delegation/validator.rs
new file mode 100644
index 0000000000..4c33d00817
--- /dev/null
+++ b/beacon_chain/transition/src/delegation/validator.rs
@@ -0,0 +1,263 @@
+use super::honey_badger_split::SplitExt;
+use super::types::{ShardAndCommittee, ValidatorRecord, ChainConfig};
+use super::TransitionError;
+use super::shuffle;
+use std::cmp::min;
+
+type DelegatedCycle = Vec<Vec<ShardAndCommittee>>;
+
+/// Produce a vector of validators indicies where those validators start and end
+/// dynasties are within the supplied `dynasty`.
+fn active_validator_indicies(
+    dynasty: u64,
+    validators: &[ValidatorRecord])
+    -> Vec<usize>
+{
+    validators.iter()
+        .enumerate()
+        .filter_map(|(i, validator)| {
+            if (validator.start_dynasty >= dynasty) &
+                (validator.end_dynasty < dynasty)
+            {
+                Some(i)
+            } else {
+                None
+            }
+        })
+        .collect()
+}
+
+
+/// Delegates active validators into slots for a given cycle, given a random seed.
+/// Returns a vector or ShardAndComitte vectors representing the shards and committiees for
+/// each slot.
+/// References get_new_shuffling (ethereum 2.1 specification)
+pub fn delegate_validators(
+    seed: &[u8],
+    validators: &[ValidatorRecord],
+    dynasty: u64,
+    crosslinking_shard_start: u16,
+    config: &ChainConfig)
+    -> Result<DelegatedCycle, TransitionError>
+{
+    let shuffled_validator_indices = {
+        let mut validator_indices = active_validator_indicies(dynasty, validators);
+        match shuffle(seed, validator_indices) {
+            Ok(shuffled) => shuffled,
+            _ => return Err(TransitionError::InvalidInput(
+                    String::from("Shuffle list length exceed.")))
+        }
+    };
+    let shard_indices: Vec<usize> = (0_usize..config.shard_count as usize).into_iter().collect();
+    let crosslinking_shard_start = crosslinking_shard_start as usize;
+    let cycle_length = config.cycle_length as usize;
+    let min_committee_size = config.min_committee_size as usize;
+    generate_cycle(
+        &shuffled_validator_indices,
+        &shard_indices,
+        crosslinking_shard_start,
+        cycle_length,
+        min_committee_size)
+}
+
+/// Given the validator list, delegates the validators into slots and comittees for a given cycle.
+fn generate_cycle(
+    validator_indices: &[usize],
+    shard_indices: &[usize],
+    crosslinking_shard_start: usize,
+    cycle_length: usize,
+    min_committee_size: usize)
+    -> Result<DelegatedCycle, TransitionError>
+{
+
+    let validator_count = validator_indices.len();
+    let shard_count = shard_indices.len();
+
+    if shard_count / cycle_length == 0 {
+	    return Err(TransitionError::InvalidInput(String::from("Number of
+					    shards needs to be greater than
+					    cycle length")));
+
+    }
+
+    let (committees_per_slot, slots_per_committee) = {
+        if validator_count >= cycle_length * min_committee_size {
+            let committees_per_slot = min(validator_count / cycle_length /
+			    (min_committee_size * 2) + 1, shard_count /
+			    cycle_length);
+            let slots_per_committee = 1;
+            (committees_per_slot, slots_per_committee)
+        } else {
+            let committees_per_slot = 1;
+            let mut slots_per_committee = 1;
+            while (validator_count * slots_per_committee < cycle_length * min_committee_size) &
+                (slots_per_committee < cycle_length) {
+                slots_per_committee *= 2;
+            }
+            (committees_per_slot, slots_per_committee)
+        }
+    };
+
+    let cycle = validator_indices.honey_badger_split(cycle_length)
+        .enumerate()
+        .map(|(i, slot_indices)| {
+            let shard_id_start = crosslinking_shard_start + i * committees_per_slot / slots_per_committee;
+            slot_indices.honey_badger_split(committees_per_slot)
+                .enumerate()
+                .map(|(j, shard_indices)| {
+                    ShardAndCommittee{
+                        shard_id: ((shard_id_start + j) % shard_count) as u16,
+                        committee: shard_indices.to_vec(),
+                    }
+                })
+                .collect()
+        })
+        .collect();
+    Ok(cycle)
+}
+
+#[cfg(test)]
+mod tests {
+    use super::*;
+
+    fn generate_cycle_helper(
+        validator_count: &usize,
+        shard_count: &usize,
+        crosslinking_shard_start: usize,
+        cycle_length: usize,
+        min_committee_size: usize)
+        -> (Vec<usize>, Vec<usize>, Result<DelegatedCycle, TransitionError>)
+    {
+        let validator_indices: Vec<usize> = (0_usize..*validator_count).into_iter().collect();
+        let shard_indices: Vec<usize> = (0_usize..*shard_count).into_iter().collect();
+        let result = generate_cycle(
+            &validator_indices,
+            &shard_indices,
+            crosslinking_shard_start,
+            cycle_length,
+            min_committee_size);
+        (validator_indices, shard_indices, result)
+    }
+
+    #[allow(dead_code)]
+    fn print_cycle(cycle: &DelegatedCycle) {
+        cycle.iter()
+            .enumerate()
+            .for_each(|(i, slot)| {
+                println!("slot {:?}", &i);
+                slot.iter()
+                    .enumerate()
+                    .for_each(|(i, sac)| {
+                        println!("#{:?}\tshard_id={}\tcommittee.len()={}",
+                            &i, &sac.shard_id, &sac.committee.len())
+                    })
+            });
+    }
+
+    fn flatten_validators(cycle: &DelegatedCycle)
+        -> Vec<usize>
+    {
+        let mut flattened = vec![];
+        for slot in cycle.iter() {
+            for sac in slot.iter() {
+                for validator in sac.committee.iter() {
+                    flattened.push(*validator);
+                }
+            }
+        }
+        flattened
+    }
+
+    fn flatten_and_dedup_shards(cycle: &DelegatedCycle)
+        -> Vec<usize>
+    {
+        let mut flattened = vec![];
+        for slot in cycle.iter() {
+            for sac in slot.iter() {
+                flattened.push(sac.shard_id as usize);
+            }
+        }
+        flattened.dedup();
+        flattened
+    }
+
+    fn flatten_shards_in_slots(cycle: &DelegatedCycle)
+        -> Vec<Vec<usize>>
+    {
+        let mut shards_in_slots: Vec<Vec<usize>> = vec![];
+        for slot in cycle.iter() {
+            let mut shards: Vec<usize> = vec![];
+            for sac in slot.iter() {
+                shards.push(sac.shard_id as usize);
+            }
+            shards_in_slots.push(shards);
+        }
+        shards_in_slots
+    }
+
+    // TODO: Improve these tests to check committee lengths
+    #[test]
+    fn test_generate_cycle() {
+        let validator_count: usize = 100;
+        let shard_count: usize = 20;
+        let crosslinking_shard_start: usize = 0;
+        let cycle_length: usize = 20;
+        let min_committee_size: usize = 10;
+        let (validators, shards, result) = generate_cycle_helper(
+            &validator_count,
+            &shard_count,
+            crosslinking_shard_start,
+            cycle_length,
+            min_committee_size);
+        let cycle = result.unwrap();
+
+        let assigned_validators = flatten_validators(&cycle);
+        let assigned_shards = flatten_and_dedup_shards(&cycle);
+        let shards_in_slots = flatten_shards_in_slots(&cycle);
+        let expected_shards = shards.get(0..10).unwrap();
+        assert_eq!(assigned_validators, validators, "Validator assignment incorrect");
+        assert_eq!(assigned_shards, expected_shards, "Shard assignment incorrect");
+
+        let expected_shards_in_slots: Vec<Vec<usize>> = vec![
+            vec![0], vec![0],   // Each line is 2 slots..
+            vec![1], vec![1],
+            vec![2], vec![2],
+            vec![3], vec![3],
+            vec![4], vec![4],
+            vec![5], vec![5],
+            vec![6], vec![6],
+            vec![7], vec![7],
+            vec![8], vec![8],
+            vec![9], vec![9],
+        ];
+        // assert!(compare_shards_in_slots(&cycle, &expected_shards_in_slots));
+        assert_eq!(expected_shards_in_slots, shards_in_slots, "Shard assignment incorrect.")
+    }
+
+    #[test]
+    // Check that the committees per slot is upper bounded by shard count
+    fn test_generate_cycle_committees_bounded() {
+        let validator_count: usize = 523;
+        let shard_count: usize = 31;
+        let crosslinking_shard_start: usize = 0;
+        let cycle_length: usize = 11;
+        let min_committee_size: usize = 5;
+        let (validators, shards, result) = generate_cycle_helper(
+            &validator_count,
+            &shard_count,
+            crosslinking_shard_start,
+            cycle_length,
+            min_committee_size);
+        let cycle = result.unwrap();
+        let assigned_validators = flatten_validators(&cycle);
+        let assigned_shards = flatten_and_dedup_shards(&cycle);
+        let shards_in_slots = flatten_shards_in_slots(&cycle);
+        let expected_shards = shards.get(0..22).unwrap();
+        let expected_shards_in_slots: Vec<Vec<usize>> =
+            (0_usize..11_usize) .map(|x| vec![2*x,2*x+1]).collect();
+        assert_eq!(assigned_validators, validators, "Validator assignment incorrect");
+        assert_eq!(assigned_shards, expected_shards, "Shard assignment incorrect");
+        // assert!(compare_shards_in_slots(&cycle, &expected_shards_in_slots));
+        assert_eq!(expected_shards_in_slots, shards_in_slots, "Shard assignment incorrect.")
+    }
+}
diff --git a/beacon_chain/transition/src/lib.rs b/beacon_chain/transition/src/lib.rs
new file mode 100644
index 0000000000..ccac525291
--- /dev/null
+++ b/beacon_chain/transition/src/lib.rs
@@ -0,0 +1,10 @@
+extern crate honey_badger_split;
+extern crate types;
+extern crate shuffling;
+
+pub mod delegation;
+
+#[derive(Debug)]
+pub enum TransitionError {
+	InvalidInput(String),
+}
diff --git a/beacon_chain/types/src/chain_config.rs b/beacon_chain/types/src/chain_config.rs
index 750081aad7..4cdc91a6da 100644
--- a/beacon_chain/types/src/chain_config.rs
+++ b/beacon_chain/types/src/chain_config.rs
@@ -20,6 +20,20 @@ impl ChainConfig {
         }
     }
 
+    pub fn validate(&self) -> bool {
+	    // criteria that ensure the config is valid
+
+	    // shard_count / cycle_length > 0 otherwise validator delegation
+	    // will fail.
+	    if self.shard_count / self.cycle_length as u16 == 0  {
+		    return false;
+	    }
+
+	    true
+    }
+
+
+
     #[cfg(test)]
     pub fn super_fast_tests() -> Self {
         Self {
diff --git a/beacon_chain/types/src/common/delegation/block_hash.rs b/beacon_chain/types/src/common/delegation/block_hash.rs
deleted file mode 100644
index 3d0939d29c..0000000000
--- a/beacon_chain/types/src/common/delegation/block_hash.rs
+++ /dev/null
@@ -1,62 +0,0 @@
-use super::utils::errors::ParameterError;
-use super::utils::types::Hash256;
-
-/*
- * Work-in-progress function: not ready for review.
- */
-
-pub fn get_block_hash(
-    active_state_recent_block_hashes: &[Hash256],
-    current_block_slot: u64,
-    slot: u64,
-    cycle_length: u64, // convert from standard u8
-) -> Result<Hash256, ParameterError> {
-    // active_state must have at 2*cycle_length hashes
-    assert_error!(
-        active_state_recent_block_hashes.len() as u64 == cycle_length * 2,
-        ParameterError::InvalidInput(String::from(
-            "active state has incorrect number of block hashes"
-        ))
-    );
-
-    let state_start_slot = (current_block_slot)
-        .checked_sub(cycle_length * 2)
-        .unwrap_or(0);
-
-    assert_error!(
-        (state_start_slot <= slot) && (slot < current_block_slot),
-        ParameterError::InvalidInput(String::from("incorrect slot number"))
-    );
-
-    let index = 2 * cycle_length + slot - current_block_slot; // should always be positive
-    Ok(active_state_recent_block_hashes[index as usize])
-}
-
-#[cfg(test)]
-mod tests {
-    use super::*;
-
-    #[test]
-    fn test_get_block_hash() {
-        let block_slot: u64 = 10;
-        let slot: u64 = 3;
-        let cycle_length: u64 = 8;
-
-        let mut block_hashes: Vec<Hash256> = Vec::new();
-        for _i in 0..2 * cycle_length {
-            block_hashes.push(Hash256::random());
-        }
-
-        let result = get_block_hash(
-            &block_hashes,
-            block_slot,
-            slot,
-            cycle_length)
-            .unwrap();
-
-        assert_eq!(
-            result,
-            block_hashes[(2 * cycle_length + slot - block_slot) as usize]
-        );
-    }
-}
diff --git a/beacon_chain/types/src/common/delegation/mod.rs b/beacon_chain/types/src/common/delegation/mod.rs
deleted file mode 100644
index da9746f635..0000000000
--- a/beacon_chain/types/src/common/delegation/mod.rs
+++ /dev/null
@@ -1,3 +0,0 @@
-mod block_hash;
-
-use super::utils;
diff --git a/beacon_chain/utils/honey-badger-split/Cargo.toml b/beacon_chain/utils/honey-badger-split/Cargo.toml
new file mode 100644
index 0000000000..e9721efd44
--- /dev/null
+++ b/beacon_chain/utils/honey-badger-split/Cargo.toml
@@ -0,0 +1,6 @@
+[package]
+name = "honey-badger-split"
+version = "0.1.0"
+authors = ["Paul Hauner <paul@paulhauner.com>"]
+
+[dependencies]
diff --git a/beacon_chain/utils/honey-badger-split/src/lib.rs b/beacon_chain/utils/honey-badger-split/src/lib.rs
new file mode 100644
index 0000000000..890391036c
--- /dev/null
+++ b/beacon_chain/utils/honey-badger-split/src/lib.rs
@@ -0,0 +1,85 @@
+/// A function for splitting a list into N pieces.
+///
+/// We have titled it the "honey badger split" because of its robustness. It don't care.
+
+
+/// Iterator for the honey_badger_split function
+pub struct Split<'a, T: 'a> {
+    n: usize,
+    current_pos: usize,
+    list: &'a [T],
+    list_length: usize
+}
+
+impl<'a,T> Iterator for Split<'a, T> {
+    type Item = &'a [T];
+
+    fn next(&mut self) -> Option<Self::Item> {
+        self.current_pos +=1;
+        if self.current_pos <= self.n {
+            match self.list.get(self.list_length*(self.current_pos-1)/self.n..self.list_length*self.current_pos/self.n) {
+                Some(v) => Some(v),
+                None => unreachable!()
+            }
+        }
+        else {
+            None
+        }
+    }
+}
+
+/// Splits a slice into chunks of size n. All postive n values are applicable,
+/// hence the honey_badger prefix.
+///
+/// Returns an iterator over the original list.
+pub trait SplitExt<T> {
+    fn honey_badger_split(&self, n: usize) -> Split<T>;
+}
+
+impl<T> SplitExt<T> for [T] {
+
+    fn honey_badger_split(&self, n: usize) -> Split<T> {
+        Split {
+            n,
+            current_pos: 0,
+            list: &self,
+            list_length: self.len(),
+        }
+    }
+}
+
+#[cfg(test)]
+mod tests {
+    use super::*;
+
+    #[test]
+    fn test_honey_badger_split() {
+        /*
+         * These test cases are generated from the eth2.0 spec `split()`
+         * function at commit cbd254a.
+         */
+        let input: Vec<usize> = vec![0, 1, 2, 3];
+        let output: Vec<&[usize]> = input.honey_badger_split(2).collect();
+        assert_eq!(output, vec![&[0, 1], &[2, 3]]);
+
+        let input: Vec<usize> = vec![0, 1, 2, 3];
+        let output: Vec<&[usize]> = input.honey_badger_split(6).collect();
+        let expected: Vec<&[usize]> = vec![&[], &[0], &[1], &[], &[2], &[3]];
+        assert_eq!(output, expected);
+
+        let input: Vec<usize> = vec![0, 1, 2, 3];
+        let output: Vec<&[usize]> = input.honey_badger_split(10).collect();
+        let expected: Vec<&[usize]> = vec![&[], &[], &[0], &[], &[1], &[], &[], &[2], &[], &[3]];
+        assert_eq!(output, expected);
+
+        let input: Vec<usize> = vec![0];
+        let output: Vec<&[usize]> = input.honey_badger_split(5).collect();
+        let expected: Vec<&[usize]> = vec![&[], &[], &[], &[], &[0]];
+        assert_eq!(output, expected);
+
+        let input: Vec<usize> = vec![0, 1, 2];
+        let output: Vec<&[usize]> = input.honey_badger_split(2).collect();
+        let expected: Vec<&[usize]> = vec![&[0], &[1, 2]];
+        assert_eq!(output, expected);
+    }
+}