Add some cgps and update crt-hyllian.