Fermah is the universal proof generation layer. It functions as a marketplace, where the supply side consists of machines such as GPUs and FPGAs. On the demand side, Fermah generates proofs for any instance where ZK is used.Fermah is optimized for cheap, fast, and reliable ZK proof generation.https://x.com/vanishree_rao/status/1836019306343080396

Founded in 2015 by Charles Hoskinson and Jeremy Wood, IOHK is a technology company committed to using peer-to-peer innovations to provide decentralized services such as financial services, to the developing world. We are an engineering company based in 20 countries that builds cryptocurrencies and blockchains for academic institutions, government entities and corporations. Charles was one of the original founders of Ethereum, and started IOHK to fully realize his vision.I head the applied cryptography division responsible for deploying cryptography across products, including Cardano and Atala PRISM, at IOHK.

Current state: Currently, many efforts in the blockchain world are aimed at improving throughput for blockchains. Problem: When successful, blockchains may grow too big to handle even by resourceful computers. Solution: The Mina protocol. At O(1)Labs, we are building the Mina protocol that compresses the entire blockchain to a constant size, no matter how many transactions are added to the blockchain. We employ cutting edge zero-knowledge proofs, which are powerful cryptographic constructs.I work on Cryptography at O(1)Labs.

Helping some highly promising blockchain projects housed at Berkeley Blockchain Xcelerator.