Exciting talk today at Yale Computer Science by Brown CS Professor Vasileios Kemerlis on software hardening and kernel security!

Today, Yale celebrated a historic milestone with the public installation of President Maurie McInnis as the university’s 24th president. Beginning with a vibrant procession through campus and culminating inside Woolsey Hall, the extended Yale community came together to reflect

Check out "Insecurity Through Obscurity: Veiled Vulnerabilities in Closed-Source Contracts", a cool new paper by YACL members Sen Yang, Kaihua Qin, Aviv Yaish, and Fan Zhang! Link: arxiv.org/abs/2504.13398

- lattice-based Merle trees (iacr.org/archive/eurocr…) - or, maybe newer stuff like HydraProofs (eprint.iacr.org/2025/813) cc Charalampos (Babis) Papamanthou, in case you are looking for extra research 😉 (So cool to see how relevant versatile authenticated data structures are becoming!)

Happy birthday to the late Edsger Dijkstra, whose algorithm solved the "single-source shortest path" problem: tinyurl.com/y5ee6jdb Image v/Leo van Velzen

Congratulations on the new role Giorgos Tsimos! We will miss you at Yale University and Yale Applied Cryptography Laboratory!

Our paper on efficiently updating ZKPs or, dynamic zk-SNARKs, has been accepted for presentation at the Science of Blockchain Conference! Grateful to LAGRANGE for inspiring and supporting this research. Looking forward to further advancing this line of work.

Introducing $LA: the token powering decentralized proof generation and verifiable AI across the Lagrange Prover Network From provable AI inferences (DeepProve) to rollup scalability, $LA powers a self-sustaining economy where proof demand drives token demand 👉

Excited about Dynalog, our brand-new dynamic zk-SNARK with *polylog* updates and log or O(1) proofs. Polylog updates support large Hamming distance between source/target, e.g., n/polylog. Dynalog uses LSM trees & maintainable vector commitments. See eprint.iacr.org/2024/1566.

Town Crier and DECO are two oracle protocols developed by IC3 researchers to securely bridge data from the web to smart contracts, but they differ significantly in trust assumptions, cryptographic techniques, and privacy guarantees: Prof Fan Zhang, lead author of both papers,

Introducing Dynamic zk-SNARKs—a breakthrough from the Lagrange research team Weijie Wang, Charalampos (Babis) Papamanthou, Shravan Srinivasan, and Dimitris Papadopoulos Dynamic zk-SNARKs mark a major step forward in making real-time, updatable cryptographic proofs a reality Here’s what that means and why it matters 🧵

Congratulations to Uzi Vishkin for this amazing honor. A true pioneer in parallel algorithms.

It was a pleasure to give an invited talk on zk-ML at the Olympia Research Summit in Athens. Many thanks to the Athena Research Center and Minos Garofalakis for hosting. I am incredibly proud of the high-quality research happening in my home country. linkedin.com/posts/-athena-…

Congrats to Yale Engineering's Yang Cai (Computer Science & Economics), Manolis Zampetakis (CS) and their collaborators for receiving the Best Paper Award at COLT 2025! #AI #ML

Big win for Yale CS! 🏆 A team led by Yang Cai (L) & Manolis Zampetakis (R) earned Best Paper at #COLT2025 for redefining how we identify treatment effects in complex data. A leap forward for causal inference & foundational AI. 🔗 loom.ly/hWrbgkE #WhatsNext Yang Cai

Welcome to Yale Computer Science, Nicole!

In preparation for our SBC 2025 talk, we have updated our dynamic zk-SNARKs paper detailing the log N approach and data structure. Special guest: AMT trees by alin.apt! Latest version: eprint.iacr.org/2024/1566.pdf. Grateful to Yale Computer Science PhD student Weijie Wang for leading this.

Please welcome Alex Lew, Assistant Prof. of Computer Science at Yale Engineering! His work in probabilistic programming, ML & Bayesian inference is pushing the boundaries of how we build and understand intelligent systems. #NewFaculty #WelcomeAboard #AIResearch

🚨 BREAKING: Sui Research just dropped a major breakthrough in quantum transition of "some" blockchains. Unfortunately it works for Sui, Solana, Near, Cosmos and other EdDSA-based chains, but not for Bitcoin and Ethereum 😢 Here is the paper: eprint.iacr.org/2025/1368.pdf *Afaik this

Looking forward to the dynamic zk-SNARKs talk at SBC 2025!