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.
Read more