Implementation of GGH's graded encoding scheme sans rerandomization (for use in obfuscation)