Giter VIP home page Giter VIP logo

Comments (10)

snoyberg avatar snoyberg commented on August 21, 2024 2

Sure, no problem. The issue is:

  • Hackage Security doesn't always generate JSON files: haskell/hackage-security#183
  • The file you're looking for specifically broke the entire mirror process over the weekend: haskell-hvr/hackage-mirror-tool#2
  • Because the connection to the Hackage server itself is insecure (HTTP), we cannot rely with downloads from it being untampered unless there is a Hackage Security signature
    • If you're wondering: Yes, https://hackage.haskell.org does work, but that's connecting to a CDN, which itself has an insecure connection to the Hackage server itself
    • The mirror tool we run connects directly to Hackage over its insecure connection
  • Therefore, there's no way that we can reliably generate the .json files without risk of a MITM attack

In the past we generated the JSON files ourselves without relying on the upstream information, but that was before I was aware of the insecure connection between the CDN and Hackage. @lehins updated the mirroring tools recently to fix this.

I'm not getting traction upstream on this issue, so additional voices would be helpful. Filing against hackage-server probably makes sense.

from all-cabal-hashes.

snoyberg avatar snoyberg commented on August 21, 2024

from all-cabal-hashes.

peti avatar peti commented on August 21, 2024

I'm supposed to complain about a missing JSON file in all-cabal-hashes to the Hackage people? What good will that do?

from all-cabal-hashes.

snoyberg avatar snoyberg commented on August 21, 2024

from all-cabal-hashes.

peti avatar peti commented on August 21, 2024

I am sorry. I had not realized that you'd perceive my tone as offensive and I had no intention to come across that way. I apologize.

If you will, could you please explain to me why this is an upstream issue so that I can go ahead and try to get it fixed?

from all-cabal-hashes.

gbaz avatar gbaz commented on August 21, 2024

Because the connection to the Hackage server itself is insecure (HTTP), we cannot rely with downloads from it being untampered unless there is a Hackage Security signature

I checked our cdn settings, and in fact we do use a tls conduit between our cdn and the origin server. Image verifying settings below. It may be the case that we did not do so in the past but certainly we have had such a connection for quite some time.

image

from all-cabal-hashes.

snoyberg avatar snoyberg commented on August 21, 2024

My information was from September

haskell/hackage-server#540

from all-cabal-hashes.

peti avatar peti commented on August 21, 2024

Upstream ticket is haskell/hackage-server#488, which appears to be dead in the water since April 15th 2016. This is not very encouraging.

from all-cabal-hashes.

gbaz avatar gbaz commented on August 21, 2024

Don't despair. The renewed attention has revived interest in tackling it.

from all-cabal-hashes.

snoyberg avatar snoyberg commented on August 21, 2024

The problem has been fixed by upstream.

from all-cabal-hashes.

Related Issues (17)

Recommend Projects

  • React photo React

    A declarative, efficient, and flexible JavaScript library for building user interfaces.

  • Vue.js photo Vue.js

    🖖 Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.

  • Typescript photo Typescript

    TypeScript is a superset of JavaScript that compiles to clean JavaScript output.

  • TensorFlow photo TensorFlow

    An Open Source Machine Learning Framework for Everyone

  • Django photo Django

    The Web framework for perfectionists with deadlines.

  • D3 photo D3

    Bring data to life with SVG, Canvas and HTML. 📊📈🎉

Recommend Topics

  • javascript

    JavaScript (JS) is a lightweight interpreted programming language with first-class functions.

  • web

    Some thing interesting about web. New door for the world.

  • server

    A server is a program made to process requests and deliver data to clients.

  • Machine learning

    Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.

  • Game

    Some thing interesting about game, make everyone happy.

Recommend Org

  • Facebook photo Facebook

    We are working to build community through open source technology. NB: members must have two-factor auth.

  • Microsoft photo Microsoft

    Open source projects and samples from Microsoft.

  • Google photo Google

    Google ❤️ Open Source for everyone.

  • D3 photo D3

    Data-Driven Documents codes.