Ethan000

stealth

[Ethan000 @Ethann_000]

@jordanfish gm

[Ethan000 @Ethann_000]

Sorry to hear. Irreducible did incredible work and (I think) was quite well funded.

Not a lot of people do this if they couldn’t find PMF. A lot of respect to the team 🙏🏼

[Radisav Cojbasic @radi_cojbasic]

@jimpo_potamus and I made the difficult but right call to wind down Irreducible.

[Ethan000 @Ethann_000]

Moved away from zk a bit and did some consensus and trading

Seems some good papers just got released recently

Congrats to everyone on the good results 👍🏻

[Ethan000 @Ethann_000]

@alinush @Arvolear which could be disproven as well in the future

[Ethan000 @Ethann_000]

@alinush @Arvolear seems the new parameters are still based on conjectures though

[Ethan000 @Ethann_000]

@fifikobayashi 😆

[Justin Thaler @SuccinctJT]

1/ In the short video + blog post below, we give an update on Jolt, covering progress since release and our roadmap for the months ahead.

[Ethan000 @Ethann_000]

just found out this website can search for bookmarks now. finally 🤝🏼

[ʕ •ᴥ•ʔ @alpeh_v]

vitalik wants STARKed posiden instead of verkle trees but true snark variant connoisseurs want BINIUSed grøstl for the stronger existing hash crypto-analysis

[Ingonyama (Now MoonMath AI) @Ingo_zk]

🥁New paper🥁
The Sum-Check Protocol over Fields of Small Characteristic, Joint with @SuccinctJT, links below.

Paper: https://t.co/eD1O60Z8cW

Blog: Sumcheck and Open-Binius: https://t.co/o0RDqqDVKh

Code: Smallfield-super-sumcheck: https://t.co/qsus8nGYlP

[Framework @FrameworkPuter]

We're excited to share a preview of a Framework Laptop with a new CPU architecture today, and it's not the one you probably think it is. @DeepComputingio is creating the first partner-developed Mainboard, and it's powered by a RISC-V processor!

[Ethan000 @Ethann_000]

@matthew_d_green only one oracle can be used?

[Ethan000 @Ethann_000]

@matthew_d_green does this mean recursive proof composition is broken ….

[Ethan000 @Ethann_000]

i deleted it but its related to https://t.co/DDK8x7lhFR

[Ben Diamond @benediamond]

@VitalikButerin @MihailoBjelic I'm not sure that curve-based commitments are still "zk friendly", what with the advent of https://t.co/WAXmsIUzjy.

[Ethan000 @Ethann_000]

hmm i wonder if vitalik saw my binius tweet under this post and if its what got him interested in it

[vitalik.eth @VitalikButerin]

@MihailoBjelic ZK-ifying keccak merkle patricia trees with worst case 300 MB witness sizes is a non-starter.

The verkle tree spec is designed to be zk friendly (eg. choice of curve, using pedersen as the hash)

So switching to verkle helps with ZKing the L1.

[Ethan000 @Ethann_000]

for completeness https://t.co/tK32iVAE07

[Tomer Solberg @TomerSolberg]

This is T2 tower field
T2~ F2[x,y]/(x^2+x+1,y^2+xy+1)
Represent each number as a multilinear polynomial in x,y where the coefficients are the binary representation of the number.
So 1~1, 2~x, 4~y, 8~xy
This gives 6~x+y, and 2*6~x*(x+y)=x^2+xy=1+x+xy~1+2+8=11

[Ethan000 @Ethann_000]

is there a new proof system over some weird math object

[vitalik.eth @VitalikButerin]

2 + 2 = 0
2 * 6 = 11
3 / 5 = 9
3² + 8² = 11²
420 * 61779 = 1

It's the new math. If you use it, it becomes much easier to make proofs of things.

If you know, you know.

[Ethan000 @Ethann_000]

not sure how he did mul and div
https://t.co/zYlAfvgRcj

[Ethan000 @Ethann_000]

@VitalikButerin 2+2=0
3^2 + 8^2 = 11^2 (a^2 + b^2 = (a+b)^2)
these are binary field arithmetics no?

[Ethan000 @Ethann_000]

@VitalikButerin 2+2=0
3^2 + 8^2 = 11^2 (a^2 + b^2 = (a+b)^2)
these are binary field arithmetics no?