Christian Reitwiessner is a software developer associated with Solidity, the smart contract programming language developed for Ethereum. He has contributed extensively to the Solidity project and its ongoing language development.
Christian Reitwiessner is a software developer associated with Solidity, the smart contract programming language developed for Ethereum. He has contributed extensively to the Solidity project and its ongoing language development.
Left powdr labs, the ZK and formal verification company I cofounded, and joined Axiom Math.
2026AxiommathView source ↗