Chief Architect
CurrentResponsible for defining new features, behaviours and implementations for both Starknet and StarkEx product families. Architectures involve backend systems in AWS, GCP (Python, Rust, Kubernetes, Aerospike) and also contracts in blockchains (Ethereum and Starknet, Solidity and Cairo). Also a member in the company's management forum. Starknet (https://starknet.io) is our layer2 blockchain that allows writing smart contracts at more than two orders of magnitude scale (TPS) comparet to Ethereum. The backend is a cluster of machines that create the blocks: accepting transactions in gateway instances, validating, ordering for inclusion in the block, executing and producing the output. An extensive RPC layer provides information about the blockchain status. StarkEx, our decentralised exchange product, processes 1M transactions a day with total worth of $2B a day and has cummulatively process more than $1 trillion in transactions. It is a large capacity backend that accepts transactions from the exchanges that build on top of it, packages them and sends them for proving.STARK is a cryptographic protocol in the family of Zero Knowledge proof systems. It allows prove a computation was done without revealing it. This means one can verify it was executed without the need to spend the same time as the execution itself. In fact, while proof generation takes O(nlog(n)) (n being the size of the computation), verification is done at O(log^2(n)). In the context of Ethereum, it means paying reduced fees and being able to execute much more. Cairo is a language that allows to define computations (such as trading, transfers, or anything) such that a proof can be generated for them.