Omar

@0mar

233 Following

53 Followers

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

97 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

23 reactions

borodutch pfp

@warpcastadmin.eth

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

0 reply

3 recasts

10 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

11 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

1 recast

4 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

10 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

31 reactions

Dogan pfp

My quick thoughts on Mina, with diagrams:

2 replies

8 recasts

124 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 🔥🔥

8 replies

36 recasts

181 reactions

David (d/acc) 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

14 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

15 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

2 recasts

6 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

2 reactions

Omar pfp

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

0 reply

0 recast

0 reaction

Omar pfp

Is there a discord server or a telegram group for this community?

0 reply

0 recast

0 reaction

YB pfp

The crypto version https://x.com/pourteaux/status/1047143498108014592/photo/1

0 reply

1 recast

1 reaction

HH pfp

Firn was based on this innovation btw https://www.youtube.com/watch?v=3n25k9eAhjM

0 reply

1 recast

3 reactions