Bertrand Blancheton leads marketing efforts at AuditHub, a blockchain security platform designed to enable Web3 teams to identify and address vulnerabilities in real time.
His expertise lies in converting intricate technical information into accessible, educational materials and forging strategic partnerships that link AuditHub with prominent blockchain initiatives.
Bertrand possesses substantial sector experience spanning DeFi, restaking, and modular infrastructure environments, particularly through his involvement in the Starknet and Eigenlayer ecosystems via projects such as Braavos and Layer. He holds an M.Sc. degree from KEDGE Business School.
Get detailed case study showing how formal verification stopped production vulnerabilities
Each case study breaks down actual vulnerabilities we discovered in production code, the mathematical proofs we used to catch them, and the specific verification techniques that prevented exploitation. See the exact tools and methodologies our clients use to ship secure protocols.
“AuditHub has an amazing tool, Picus, which enables RISC Zero to verify and prove the determinism of our ZK circuits. AuditHub integrated into our CI/CD and performs automated checks while we continue making improvements to our code. Amazing work!”
CEO & Co-founder at RISC Zero
Get detailed case study showing how formal verification stopped production vulnerabilities
Each case study breaks down actual vulnerabilities we discovered in production code, the mathematical proofs we used to catch them, and the specific verification techniques that prevented exploitation. See the exact tools and methodologies our clients use to ship secure protocols.
“AuditHub has an amazing tool, Picus, which enables RISC Zero to verify and prove the determinism of our ZK circuits. AuditHub integrated into our CI/CD and performs automated checks while we continue making improvements to our code. Amazing work!”
CEO & Co-founder at RISC Zero
