基于极光斯塔克的摊销快速验证可更新陷阱,updatable snarks with amortized fast verification based on aurora stark, (2019-08-13, TeX, 0KB, 下载0次)