manakin

@manakin

103 Following

203 Followers

manakin pfp

Anyone know when zkSummit 11’s gonna be announced? I assumed it’d be in March due to the usual ~6 month cadence between events

0 reply

0 recast

1 reaction

manakin pfp

Does anyone have any experience or understanding of the tradeoffs in taking colloidal silver nasally? I was just recommended it (to clear up sinuses) by a doctor that follows Attia and Hyman pretty closely, so I was wondering how it falls in line within the realm of longevity and natural remedies

0 reply

0 recast

0 reaction

manakin pfp

How? *If you have the funds to pay the fee* ≠ *If you’re an-“Ethereum-aligned” rollup* The former operates in the realm of bits and the latter much less so. One’s much more prone to capture than the other imo

0 reply

0 recast

0 reaction

manakin pfp

Hello /anki! Wanted to start a channel around using Anki or other srs-centric learning tools :)

0 reply

1 recast

3 reactions

manakin pfp

Hello /anki! Wanted to start a channel around using Anki or other srs-centric learning tools :)

0 reply

1 recast

3 reactions

manakin pfp

Found a zk-curious grad student at my uni and taking them through Thaler :)

0 reply

0 recast

1 reaction

manakin pfp

Lol not sure about a hot ceviche As for the ratatouille I’ve never tried it but maybe portobello mushroom could be a good replacement! Would definitely change the flavor though as the eggplant’s a big part of the dish A good babaganoush might change your opinion on eggplant and your life😆

1 reply

0 recast

0 reaction

Federico Carrone pfp

Federico Carrone

@federicocarrone

New LambdaClass post about lookup arguments. In the next posts we are going to dive even deeper on newer techniques. If you don't know, look it up or how to create lookup tables for zero knowledge proofs https://blog.lambdaclass.com/lookups/

1 reply

1 recast

3 reactions

manakin pfp

Ratatouille's both delicious and beautiful - you can choose how complex you want it with a custom tomato sauce too Ceviche's also a crowd pleaser and has so many varieties you'll never get tired of experimenting with it

1 reply

0 recast

0 reaction

Vitalik Buterin pfp

Vitalik Buterin

Different types of layer 2s https://vitalik.eth.limo/general/2023/10/31/l2types.html

21 replies

104 recasts

262 reactions

Federico Carrone pfp

Federico Carrone

@federicocarrone

New post that we wrote at Lambda about sumcheck. https://blog.lambdaclass.com/have-you-checked-your-sums/

1 reply

4 recasts

5 reactions

Serg 🎩🔵⛓️✈️ pfp

Serg 🎩🔵⛓️✈️

We just submitted our 🎲 zkVRF project to @ETHGlobal ETHOnline Hackathon! It's a novel method for verifiable onchain randomness (VRF) enabled by ZKPs. We are making VRF accessible to everyone! More info: https://ethglobal.com/showcase/zkvrf-rt1d2

2 replies

3 recasts

5 reactions

manakin pfp

No/yes also assumes a short to medium time horizon on getting up to speed - if you wanna go really deep going through number theory, linear and abstract algebra will help long term but will take much longer than learning the minimum viable to understand

0 reply

0 recast

0 reaction

manakin pfp

Justin Thaler’s book “Proofs, Arguments, and Zero Knowledge” The main pre-reqs are finite fields (general group theory helps too), linear algebra, and some complexity theory but it’s fairly notation heavy so general mathematical maturity definitely helps!

1 reply

0 recast

2 reactions

manakin pfp

Huh, the original Zerocash paper only mentions QAPs - Unsure why they don’t make the distinction in FRI

1 reply

0 recast

1 reaction

manakin pfp

Ah, so maybe the Zerocash paper used QSPs because they were more popular at the time before Zcash swapped them out!

1 reply

0 recast

1 reaction

manakin pfp

Reading the FRI paper and just learned that Zcash was built using QSPs - are there any other modern-dayish protocols that use QSP for representing NP statements? I thought only QAPs were used in practice and that the benchmarks (from either GGPR13 or groth16 I forget) heavily favor QAPs

1 reply

0 recast

1 reaction

manakin pfp

The pre-release of Anoma’s whitepaper is on their github and is pretty good https://github.com/anoma/whitepaper/tree/main

1 reply

0 recast

3 reactions

manakin pfp

Chapter 2.1 of Graham Ellis’s “Rings and Fields” gives a great visual demonstration of what you’re looking for imo. Algebraic geometry is pretty abstract though to begin with so still may take a bit of time to understand

1 reply

0 recast

1 reaction

manakin pfp

Do understand maths? / Want understand maths? No/yes: Moon Math Manual then Thaler then original sources (can DM) Yes/yes: Straight to Thaler No/No: Probably a few articles (can DM) then some circuit compiler libs to get the gist Depends on your end goals as well. app dev, research, infra dev, auditing, etc.

3 replies

0 recast

1 reaction