0xPARC Summer 2025

Zero-Knowledge Group Signatures

• An explanation of the modern usage of RSA with SHA-512 in SSH by Colin Tang
• Circom RSA Verification by Holden Mui

Provable Object Data: Recursive ZK Proofs for Self-Verifying Data

• Understanding the POD (Provable Object Data) System by Holden Mui and Noah Walsh
• Notes on Plonky2 by Linus Tang
• A Galois Theory trick + String Algorithms in Circuit Writing by Dan Gulotta

The Encrypted Computer: Building a VM in FHE

• Understanding CKKS (part 1, part 2, part 3) by Linus Tang
• Understanding BFV by Linus Tang
• External Products in TFHE by Mihir Singhal
• Bit Bootstrapping by Linus Tang
• Threshold FHE by Brian Lawrence

Program Obfuscation

• Why is iO, as defined, useful? by Brian Gu
• Problems in Obfuscation related to Affine Determinant Programs by Brian Lawrence
• Obfuscating Affine Determinant Programs by Colin Tang

Miscellaneous

• Elliptic Curves by Linus Tang
• Cryptography from new assumptions by Brian Lawrence
• Summer 2025 Research Problems by Brian Lawrence