LambdaClass

We're sponsoring the first Hardware Hackathon at Facultad de Ciencias Exactas y Naturales, UBA. On October 23–24, teams of 4 will have two days to build and present a physical product. No hardware experience required: the event starts from the basics. Applications are open and the event is free. Apply: https://lnkd.in/dbmTuunA

We spent the last few days at the 29th Argentine Conference on Structural Engineering at the UNC Cultural Center. We presented our work on a structural engineering agent built on a verified solver, and introduced Stabileo (https://stabileo.com/es/) to universities across Argentina. Several researchers and academics showed interest in contributing to or using the project. AI is becoming a much more concrete topic in civil engineering.

Today we had the honor of attending the thesis defense of one of the students from our scholarship program at Facultad de Ciencias Exactas y Naturales, UBA. His thesis, “Preference Systems in LLMs: Effects of Textual Perturbations and Profile Elicitation on Consistency and Robustness in Decision-Making”. With LLMs becoming more capable and influential, research into how their preferences and values behave under different conditions is becoming increasingly important. Our program ran for a year and a half across three editions, supporting students in the final stages of their degrees and their research work. It was great to be there and see that journey come full circle. Congratulations, Augusto Nicola!

This week we hosted the first session of the CCSD's new study group at our office, a continuation of their seminar on Coding Theory, Low-Degree Testing, and PIOPs. Proud to support spaces where deep cryptography knowledge gets shared and built together.

Ayer dimos inicio a un nuevo espacio de estudio, pensado como continuidad natural de nuestro Seminario sobre Teoría de Códigos, Low-Degree Testing y PIOPs. La primera sesión estuvo a cargo de María Agustina Fontana, quien presentó una introducción a STARKs, sentando las bases conceptuales para los encuentros que vienen. Nos reunimos en las oficinas de LambdaClass, a quienes agradecemos por abrirnos el espacio y acompañar esta iniciativa. Así seguimos construyendo comunidad y conocimiento colectivo alrededor de la criptografía y los sistemas distribuidos.

Over the past months, Sovra, LambdaClass and Aligned have been working together on Propia, a public protocol for verifiable digital credentials. Propia starts from a simple premise: trust established by one institution should be reusable by others, without requiring shared databases or dependence on a private intermediary. Open standards already describe how credentials are issued and presented. What they leave open is the layer underneath: whether an issuer was authorized to make a given claim, which keys represent that institution today, and whether a credential is still valid. Propia keeps that state in public registries any verifier can read directly, while credentials and personal data stay between issuer, holder and verifier. For institutions, this means fewer repeated checks, fewer custom integrations and lower operating costs. As more institutions participate, more credentials can be reused and the protocol becomes more useful for everyone. We believe this infrastructure should be open and collectively governed. Today we are publishing the whitepaper as a public proposal, and inviting others to discuss it, improve it and build on it. Whitepaper: propia.id/whitepaper

This week, we closed the Seminar on Coding Theory, Low-Degree Testing, and PIOPs, co-organized with the Cryptography and Distributed Systems Center – UBA. Over four sessions, participants worked through the foundations of linear codes, the combinatorial limits of decoding, list-decoding algorithms, and modern polynomial proximity protocols and their role in ZK proofs. More than 30 participants joined us throughout the seminar. We are proud to have launched this together with the Cryptography and Distributed Systems Center – UBA, and we are committed to continuing. More initiatives are on the way. A special thank you to Manuel Puebla for his dedication and rigor throughout the program, and to the Facultad de Ciencias Exactas y Naturales, UBA and the Facultad de Ingeniería - UBA for hosting us.