🔥The 9th Round of Easy Loan, Earn $40 Reward is in progress❗️ ⏰ Promotion Period: January 15th - Feburary 15th, 2025 👉 Register now and check more details at gate.io/campaigns/358

4 days to go! Join us tomorrow for: - 11.30am UTC: Prince Wilson - 3pm UTC: DEV Community Nick Taylor Christina Gorton - 9pm UTC: Marcin Kostrzewa 👀📺 twitch.tv/raisedevs

In 30 minutes (9pm UTC) on the #Hacktoberfest Helpdesk is Marcin Kostrzewa. We'll be talking about Enso Analytics, taking a deep dive into Graal/Truffle magic, and discussing the challenges of rewriting an open source project on a fresh codebase. 👀📺 Tune in at twitch.tv/raisedevs

A real test coming up for Enso Analytics. Going to work through #AdventOfCode using the not-yet-officially-released language I've been implementing for the past year. Follow my progress at github.com/kustosz/Advent…

Is it OK if I put "Edward Kmett called my code neat once" in my LinkedIn bio? 😄

Just did some exciting work along those lines for Enso Analytics. Merging both styles by including relevant type and value information (including available methods together with usage examples from documentation) in GPT prompts. The results are 🤯🤯🤯.

📣Splendid! 3 new speakers, 3 new talks! 👉 Ariel Gabizon - Recent advances in pairing-based SNARKs 👉 jacek - On ZK and Law for Devs 👉 Marcin Kostrzewa - Putting the "proofs" in "ZK proofs": formal verification of arithmetic circuits

We're proud to have helped build this functionality and can't wait to see it evolve! See the deep dive blogpost to understand how we merged symbolic execution with type inference to make it happen: blog.smlxl.io/a-deep-dive-in…

The future of digital identity. dcbuilder.mirror.xyz/myIlus8pl6Sbyu…

Exciting application of our formal verification tech – proving that the on-chain set of verified humans is maintained correctly!

🧵 Formal Verification for ZK Safety ZK circuits provide developers with the ability to offload expensive computations and just check they were done right on chain. Formal Verification is crucial to making sure these often-complex protocols are secure, and Reilabs recently

🧵 Introducing Cairo Hints for Cairo language Hints enable developers to supplement their programs with data that is difficult to obtain in ZK circuits, allowing them to solve new classes of problems with Cairo. [1/6]

Very excited to announce a 1st batch of #ZkHackKrakow judges! Anna Rose (Zero Knowledge Podcast) Ariel Gabizon (Ariel Gabizon) dcbuilder.eth ⚪️ (World) 0xSachinK (ZKP2P) Orest Tarasiuk 𝚝𝟷 (zkWarsaw) Tiago Filip Siroky (@mitoncfund) Marcin Kostrzewa (Reilabs) 0xGL (ZK Hack )

𝒁𝑲 𝑯𝒂𝒄𝒌 𝑲𝒓𝒂𝒌𝒐́𝒘 is an in-person hackathon where you can meet the teams working on zk, learn new skills, find collaborators & friends, and hack on zk-tools & zk-DSLs. It’s happening in Kraków from May 17 to 19. Link to apply to hack with us: zkkrakow.com

Get ready for #ZKProof 2024! Marcin Kostrzewa from Reilabs will talk about Practical Formal Verification for Arithmetic Circuits. Join us in Berlin on May 22-24 to discuss the future of ZKP standardization, security, identity, & more.

Bringing privacy to everyone - Performant client-side proving for (the) World, a 🧵: Constraints: - 23M users around the globe, needs to be accessible - hardware constraints on tail end distribution of low-end mobile phones - true privacy requires client-side ZK and soundness

Shedding 💡 on Noir with Lampe Join Marcin Kostrzewa, CEO of Reilabs, for a workshop at NoirCon 2 on formal verification in Noir. What you’ll learn: 🔹 The role of formal verification in securing cryptographic systems & smart contracts 🔹 Why most tools focus on low-level

We've been cooking something special for the past few months. Noir is about to become the most secure ecosystem in ZK with Lampe – our custom made formal verification framework. Check out Marcin Kostrzewa's talk at NoirCon2 to learn more. Who's in?

I just published “Luna, the future of computing.” medium.com/p/luna-the-fut…

@PMoczurad sharing his thoughts on Luna! Make sure to come to his #LambdaDays talk for more Luna goodness! medium.com/@luna_language…

Recording of "Visual-textual functional programming with #Lunalang" by @PMoczurad is now available on our website! ow.ly/AEU730j4r4b #OMGkrk