Mauro Toscano
Founder at Bextended!
Milan, Lombardy, Italy
Summary
👤
Senior🎓
Top SchoolMauro Toscano is a Milan-based founder and strategic advisor with 11 years of documented tech experience and a long career building and steering marcom and advertising businesses internationally. He leads Bextended!, a networked advisory system for sustainable innovation, and previously founded and ran multiple agencies serving major global brands, blending creative strategy with business growth. Technically hands-on, he co-founded Aligned and contributes to cryptography-focused open-source work (lambdaworks), implementing math and polynomial operations for SNARK/STARK provers. Comfortable at board level and in engineering trenches, he translates complex technical concepts into strategic commercial opportunities. His background combines Bocconi-trained marketing and decades of client-side leadership with unexpected depth in cryptographic engineering.
11 years of coding experience
12 years of employment as a software developer
Master's Degree, Business Administration - Marketing, Master's Degree, Business Administration - Marketing at Università Commerciale 'Luigi Bocconi'
English
Github Skills (8)
mathematics10
proofs10
rust10
proof10
math10
cryptography10
finite-field9
testing8
Programming languages (16)
Github contributions (5)
lambdaclass/lambdaworks
Jan 2023 - Mar 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:1 release, 463 reviews, 37 commits in 1 month
Contributions summary:Mauro primarily contributed to the math and cryptography components of the project, implementing polynomial operations and related cryptographic algorithms. They introduced new functionalities like Montgomery parameter calculations and implemented several tests. Furthermore, the user addressed code quality by fixing clippy warnings and improving existing code structures.
cryptographysnarkscryptographicrustto-do
lambdaclass/lambdaworks_stark_platinum
May 2023 - Oct 2023
STARK Cairo prover using lambdaworks. Cairo (CPU Algebraic Intermediate Representation) is a programming language for writing provable programs, where one party can prove to another that a certain computation was executed correctly. Cairo and similar proof systems can be used to provide scalability to blockchains.
Contributions:94 reviews, 111 PRs, 201 pushes in 4 months
programming-languageproof-system
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.