Advances in Batch Arguments Reduce Verification Costs
03/03/2023 - A methodology developed by UT professors will allow the cost of verifying computations to be reduced by batching many separate arguments together. Brent Waters, a computer science professor and a co-author of the paper, was inspired to find a more efficient way to verify computations by refining techniques that had already come out over a decade ago.