formal-snarks-project icon indicating copy to clipboard operation
formal-snarks-project copied to clipboard

Published 20 hours ago • verified publisher icon BoltonBailey
→

Metadata

A formal verification of Linear PCP SNARKs.

← Metadata

44
Stars
1
Forks
Watchers

Owner

verified publisher icon BoltonBailey

Metadata

A formal verification of Linear PCP SNARKs.

Back