Revision history for yggdrasil

0.1.0.0 -- 2018-09-10

• Provide an UC-like, strictly typed execution model.
• Provide randomness distributions.
• Provide a typed model for arbitrary adversaries.
• Implement random oracles, crs, and signatures.