IEEE Symposium on Security and Privacy·8 min
Refinement Types Junrui Liu
Industry experts analyze emerging threats surrounding 132 Certifying Zero Knowledge Circuits with Refinement Types Junrui Liu.
certifyingzeroknowledge+3
Refinement Types Junrui Liu
1 talk in the archive.
Filters+
Loading filters…
1–1 of 1 talk · loading…