Advances in Batch Arguments Reduce Verification Costs
![Stacks of shipping containers side-by-side in various colors.](/sites/default/files/styles/275_x_150/public/2023-09/batch-argument-article.jpg?itok=izkPu-WS)
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.