Herodotus | ZK Infrastructure for Blockchains: Verify, Compute, Scale

Herodotus offers cutting-edge zero-knowledge infrastructure for blockchains. Our solutions enable verifiable data, secure compute, and advanced scaling. Build trust-minimized applications with ease across distributed networks.

8 members

Contact info

Link

herodotus.dev

Members

•

•

Cryptography Rust Engineer specializing in Zero-Knowledge (ZK) cryptographic protocols, ZKVMs, and blockchain technologies. Extensive experience in Rust, Cairo, and Solidity. Expertise includes designing AIR constraints, implementation zkSTARK cryptography protocols, lookup arguments, ZK identity protocols, and integration of blockchain with financial systems. My key contributions include extending STARK proof system with continuations, the development of Poseidon ZKVM precompile, SHA2 AIR constraints optimization, zkSTARK proof verifier, reverse engineering Cairo1 smart contracts assembler, and research in zkSTARK proof aggregation and compression schemes. Proficient in DevOps tools like Kubernetes, remote infrastructure management. Current focus includes STARK proof systems, ZKVM architecture, AIR constraints design, and interoperability between ZKVM's.

Gregoire le Jeune

•

3rd+

Artificia docuit fames

Tiago Neto

•

3rd+

Founding Engineer at Herodotus

Kacper Koziol

•

3rd+

Co-Founder @Herodotus | Building verifiable data and compute infrastructure for high-integrity systems

Marcello Bardus

•

3rd+

Ethereum never sleeps so me either

Adam Mocarski

•

3rd+

■ Currently, empowering world leveraging co-creation using web3 and AI ■ I co-founded no-code B2B marketplace builder SaaS startup (baked by European Regional Development Fund. ■ I was in the team of 10 winners during ETH Lisbon 2021 hackathon, we've done Zero-Knowledge Proof of Membership MVP [https://devpost.com/software/proof-of-membership] ■ Took a third place during home.pl's Ultra Innovation Hackathon 2018. We developed a concept for using micro-influencers to promote products and events for local entrepreneurs [https://blog.home.pl/2018/11/ultra-innovation-po-raz-czwarty] ■ I founded and ran the best e-sports simracing team on rFactor in the world, composed of the top virtual drivers from Poland (two of whom became official e-sports drivers for the Formula 1 Williams team) [https://www.facebook.com/gaming/FeederRagnarSim] ■ At age 17, I created the biggest website about racing games in Poland. One of the biggest achievements during this time was an interview with a senior producer of the official Formula One game in 2012 during world's largest electronic games trade fairs - Gamescom. ■ I co-founded the biggest simracing league in Poland based on Assetto Corsa. My approach to work is to be hardworking, brave, and focused, with an open-minded attitude that allows me to achieve anything I can imagine. I believe that determination is key to success.

Anastasia Zaitceva

•

3rd+

full of high hopes for DeFi to liberate finance