Francisco Strambini
Business Development at LambdaClass
Milan, Lombardy, Argentina
Summary
🤩
Rockstar🎓
Top SchoolFrancisco Strambini is a business development professional and back-end engineer with 11 years of experience, blending commercial strategy with hands-on cryptography and ledger engineering. Based in Milan and educated in Ingeniería Informática at the Universidad de Buenos Aires, he moved from developer roles into business development at LambdaClass while remaining an active contributor to open-source crypto projects. His contributions to snarkVM and lambdaworks focus on core ledger retrieval logic and Merkle tree implementations—features essential to scalable zero-knowledge proof systems. That combination of product-facing BD work and low-level protocol code gives him a rare perspective on both market needs and technical constraints. He brings practical experience shipping cryptographic primitives, including implementations for proofs serialization and default hashing, which often go overlooked but are critical for reliable ZK stacks. Francisco is fluent in bridging developer priorities with commercial strategy to accelerate adoption of privacy-preserving technologies.
11 years of coding experience
Grado en Ingeniería, Ingeniería informática, Grado en Ingeniería, Ingeniería informática at Universidad de Buenos Aires
Spanish, English
Github Skills (9)
proofs10
rust10
proof10
merkle-tree10
cryptography10
blockchain10
data-structure9
data-structures9
zkp7
Programming languages (11)
Github contributions (5)
lambdaclass/lambdaworks
Feb 2023 - Feb 2023
lambdaworks offers implementations for both SNARKs and STARKs provers, along with the flexibility to leverage their individual components for constructing customized SNARKs.
Role in this project:
Back-end Developer
Back-end DeveloperContributions:5 reviews, 14 commits, 8 PRs in 7 days
Contributions summary:Francisco primarily focused on implementing and refactoring components related to Merkle trees within the cryptography library. They added functionality to build, retrieve proofs, and verify Merkle trees. The user also introduced a default hasher and implemented serialization for proofs, demonstrating a focus on core cryptographic structures and their efficient representation. The contributions centered on providing essential building blocks for zero-knowledge proofs and related cryptographic operations.
cryptographysnarkscryptographicrustto-do
ProvableHQ/snarkVM
Aug 2022 - Aug 2022
A zkVM for Decentralized Private Computations (DPC)
Role in this project:Back-end Developer
Back-end DeveloperContributions:10 commits, 1 PR, 4 pushes in 1 day
Contributions summary:Francisco primarily focused on modifying the `get_program` function within the `vm/compiler/src/ledger/get.rs` file. Their contributions involved adding and refining the functionality to retrieve programs from the ledger. These changes include initial implementation, refactoring the function signature to receive a program ID as a string, and further refinements to the input type. This demonstrates a focus on core ledger functionality.
cryptographyzkpzeroknowledgerust
Find and Hire Top DevelopersWe’ve analyzed the programming source code of over 60 million software developers on GitHub and scored them by 50,000 skills. Sign-up on Prog,AI to search for software developers.