Kobi Gurkan

Experimenting with conjuring proofs for cryptographic code arkworks ( @arkworks_rs ) is a comprehensive optimized toolkit for a wide range of snark-related cryptography EthLib is a Lean spec for Ethereum related algorithms, including cryptography, that was published recently 1/7

Lean DSL for math professors

They told us “don’t roll your own crypto” But the complete sentence is “don’t roll your own crypto unless you have lean proofs for it”

Very cool, great work! It looks extremely custom in terms of the methods used to get the IOP better for inference, which is great - creating custom cryptography is dangerous, but when done with the guidance of experts it can lead to amazing results Given that it has Lean Anthropic @AnthropicAI Nov 3 New Anthropic research: progress on provable inference for large language models. Here, we introduce FlashProve. Building on established cryptographic techniques, FlashProve allows developers to verify whether a given response came from a given AI model. It’s substantially more

1998 timeline: We got a proof of the Kepler conjecture before GTA 2 💀