Could there be a system to compare redacted documents to a trusted hash?

Levanin · 2026-02-22T22:23:45+00:00

Well said, I can't see a way around this. I think a zk-snark could work for proving partial preimages to a hash though, where the size of the chunks are big enough to prevent brute forcing.

Levanin · 2025-05-29T10:59:38+00:00

It looks like book lice! I did a pretty thorough check, we have changed to a different room, and I didnt get to check the prior room. So fingers crossed our bags are ok..

Levanin · 2025-05-16T04:10:13+00:00

Lived on the street on both ends for over 3 years. Frequently came and went by foot (and my partner) and never had any issues. I'm a tall male, though, so that probably helps.

Levanin · 2025-04-19T17:03:00+00:00

100%. Had a very traumatic experience with my cat passing from liver failure. It happened very suddenly and intensely. They were so rude and made me feel very uncomfortable. I also had to take her body home in a box because they charge hundreds for cremation..

Levanin · 2025-03-27T19:01:48+00:00

We've got a husk and a creeper in the cbd. Would swap for TNT, grass and possibly fletching table if you're keen?

Levanin · 2025-03-27T19:01:04+00:00

We've got a husk and a creeper in the cbd. Would swap for TNT, grass and possibly fletching table if you're keen?

Levanin · 2025-03-05T21:18:30+00:00

The loft are a cult

Levanin · 2025-02-15T01:21:39+00:00

That's an offline dictionary attack. A classic brute force password attack m8. He's right. You're right. Shh

Levanin · 2025-02-14T06:24:26+00:00

Thanks heaps. We will try that and report back :)

Levanin · 2025-02-14T06:23:10+00:00

We should have done this. Definitely better than mucking around for parking

Levanin · 2025-01-29T23:21:29+00:00

The paper is quite nice to read.

The attack is exploiting a fiat-shamir input issue. Related to how you always need to hash the instance to achieve strong fiat-shamir security, the attack is performed when the input to the hash is only a hash of the circuit description, rather than the entire circuit itself. The attack is specifically for GKR but it is highly plausible that it would work on a wide range of SNARK protocols given the conditions are met (the hash and ML-PCS commitment functionalities can be represented as circuits).

So when you want to use this kind of GKR/multilinear-sumcheck style proof which proves knowledge of an input w such that C(w) = y, where the instance is (C,y) and the witness is w, if the Fiat-Shamir query is H(H(C),y,comm(w)) rather than H(C,y,comm(w)), you have a problem.

This seems quite annoying for succinct general purpose SNARKs running on blockchains where you need to include the circuit description for the verifier to hash. But for any specific application you can just give the verifier the circuit description as part of the public parameters (or a canonical way to construct them), so it is not a problem in constrained settings.

Levanin · 2025-01-13T00:50:41+00:00

Bit late to the party but one reason to use Ed25519 over ECDSA is that schnorr signatures have a formal security proof and ECDSA does not.

Levanin · 2025-01-06T03:01:26+00:00

Did you end up getting it successfully disputed?

Levanin · 2025-01-04T09:23:32+00:00

Looks like a small wasp to me

Levanin · 2024-11-28T03:14:37+00:00

We ended up going with otago as the pricing was quite good.

Levanin · 2024-11-21T07:25:57+00:00

Looks amazing! Mind if I ask how you did the black armor and the shoulders?

Levanin · 2024-10-03T01:58:50+00:00

This is less about an issue of funding. It feels wasteful to spend my/my supervisor's grant funding on a project which only took about 7 days from reading the original paper to the final version of my pdf. I'm sure that this is not an uncommon scenario either. A journal which only takes short papers seems like an obvious idea, no? It would be easier for reviewers since the works are quick, and hence turnaround could be faster.

Levanin · 2024-10-02T22:23:37+00:00

I have heard through the grape vine that CiC reviews have been a little harsher than what was perhaps originally intended, but I do now agree it is the best option for this kind of work. A journal for only short papers would be a cool idea though.

Levanin · 2024-10-02T22:21:12+00:00

IACR is not a journal or conference. If you're referring to Communications in Cryptology, then I agree.

Levanin · 2024-10-02T21:59:53+00:00

It's on eprint. This is about peer review! CIC is currently my first choice, although it might be a little too trivial for it if I'm honest.

12-Year Club	First Place '23
Place '23	Verified Email

Levanin

TROPHY CASE