Cita APA (7a ed.)

Antonino, P., & Jain, N. (2026). Formally Verifying Noir Zero Knowledge Programs with NAVe.

Cita Chicago Style (17a ed.)

Antonino, Pedro, y Namrata Jain. Formally Verifying Noir Zero Knowledge Programs with NAVe. 2026.

Cita MLA (9a ed.)

Antonino, Pedro, y Namrata Jain. Formally Verifying Noir Zero Knowledge Programs with NAVe. 2026.

Precaución: Estas citas no son 100% exactas.