Sonic协议

将Groth等人的通用可更新URS的元素优化至线性阶