Omar

@0mar

236 Following

24 Followers

avi pfp

"Binius’s FPGA prototypes have shown that binary field multiplications can be performed in one clock cycle, making them exponentially more efficient than traditional prime field operations like Mersenne-31, which require 49 clock cycles" https://0xmilica.com/post/binius/

2 replies

0 recast

11 reactions

Omar pfp

Why is it so hard to find junior positions where I can learn more about ZKPs and building zk circuits? I will be happy to join any team where we can chat about FRI , KZG, Starks ,quantum immune protocols, number theortic stuff. I used to listen to ZK hack podcast and applying in different rust based projects but I fail as I don't have enough experience yet to work professionally in this area.

0 reply

0 recast

1 reaction

Flying Nobita pfp

Dan Boneh's follow-up lecture from ZK Whiteboard Session is out. He talks about FRI and Proximity Proofs in this module https://www.youtube.com/watch?v=MBDBrEr2XQg

0 reply

3 recasts

8 reactions

Haardik pfp

Have you ever been annoyed about why selling 1 ETH gives you different USDC on different chains? Forced to bridge to mainnet to get the best price, but spent so much in gas it wasn't worth it?

4 replies

13 recasts

53 reactions

‍‍ pfp

the fact that I'm a freshman to the zk space is very exciting to me so much to learn 📖💭 today's highlight: Winterfell - a STARK prover and verifier by Meta came across it while doing some reading on STARKs vs SNARKs https://github.com/facebook/winterfell

1 reply

3 recasts

21 reactions

borodutch pfp

@farcasteradmin.eth

awesome zk timeline of farcaster https://paragraph.xyz/@papajams.eth/farcasters-zk-anons

0 reply

3 recasts

6 reactions

matteo pfp

"Want to build in ZK? Just use any zkVM!" Introducing any-zkvm, a rust template that abstract which zkVM to use, making benchmarks much easier to create! 1. Write your code in rust 2. Benchmark your code using multiple zkVMs https://github.com/MatteoMer/any-zkvm

1 reply

1 recast

9 reactions

Lukas pfp

Excited for tomorrow: Our first internal hackathon. One week, self-chosen projects, and ideas we’ve been eager to try. Highlights include: - Secret-shared Santa: an on-chain gift exchange powered by coSNARKs. - Asymmetric private proof delegation. Will be fun!

0 reply

2 recasts

3 reactions

Lukas pfp

If you're curious about coSNARKs after this week's Zk podcast episode featuring Dan Boneh (one of the two original authors of the coSNARKs paper), this thread has you covered! https://x.com/taceo_io/status/1862124669425369581?s=46

1 reply

2 recasts

9 reactions

Will pfp

Rust 1.83 has been released with a bunch of extensions to const functionality, as well as the usual API stabilizations: https://blog.rust-lang.org/2024/11/28/Rust-1.83.0.html

0 reply

5 recasts

27 reactions

Dogan pfp

My quick thoughts on Mina, with diagrams:

2 replies

13 recasts

103 reactions

Omar pfp

Will it be recorded and published anywhere?

0 reply

0 recast

0 reaction

Greg pfp

all the projects built this weekend at @ethglobal singapore 🔥🔥

7 replies

20 recasts

109 reactions

prompt pfp

@promptrotator.eth

seems like there is a new paradigm emerging around search and planning. two separate but related takes on the topic: https://x.com/fchollet/status/1802801425514410275 https://www.youtube.com/watch?v=eaAonE58sLU

0 reply

3 recasts

9 reactions

Trigs pfp

Is this the future? Self hosted AI agents that parse incoming messages to notify users of content they are likely interested in or obligated to respond to. Who can keep up without it anymore?

3 replies

4 recasts

9 reactions

avi pfp

https://github.com/warlock-labs/noether

0 reply

1 recast

9 reactions

Agost Biro pfp

I've been studying number theory and abstract algebra as a hobby, but I got frustrated with not being able to verify my proofs, so I started learning the Lean proof assistant. There are many ways to learn Lean: https://leanprover-community.github.io/learn.html Skimming the resources, the Mathematics in Lean in book clicked the best for me so I went with that: https://leanprover-community.github.io/mathematics_in_lean/index.html Specifically, I got convinced by the Infinitely Many Primes section which is about halfway through the book. It's a simple theorem, but the rigorous proof is not trivial: https://leanprover-community.github.io/mathematics_in_lean/C05_Elementary_Number_Theory.html#infinitely-many-primes

1 reply

1 recast

4 reactions

Omar pfp

Is advanced copy still available?

0 reply

0 recast

0 reaction

Omar pfp

Just finished this book after the recommendation from Vitalik Buterin I liked the concept of implicit feudalism. Being aware of it is a tremendous step towards going forward. But for me I wished it has more technical examples about self governance. One last thing, some information about Middle East are not accurate.

0 reply

0 recast

1 reaction

Omar pfp

Oh I'm sorry for being late. Just read it now. Thanks for clarification.

0 reply

0 recast

0 reaction