The contents of this video still valid -- some notation is changed.
The arguments are are included in the constructs paper and will be in the ROA15 release
Patreon:
https://www.patreon.com/posts/emv012-mass-from-51929828