tor/doc/TODO

Legend:
SPEC!!  - Not specified
SPEC    - Spec not finalized
NICK    - nick claims
ARMA    - arma claims
        - Not done
        * Top priority
        . Partially done
        o Done
        D Deferred
        X Abandoned

For 0.0.9:

   o Solve the MSVC nuisance where __FILE__ contains the full path.
     People are getting confused about why their errors are coming from
     C:\Documents and Settings\Nick Mathewson\My Documents\src\tor .
N&R. bring tor-spec up to date
N&R. make loglevels info,debug less noisy
   o OS X package (and bundle?)
   o Working RPMs
   o Get win32 servers working, or find out why it isn't happening now.
     o Why can't win32 find a cpuworker?

For 0.0.9.3:
   - All tasks marked for 0093 in flyspray.
   o Backport performance improvement (stop calling getttimeofday for
     each cell)
   o Tor startup script should be installed by default on OSX.
   o Setup instructions for OSX.
   - Server instructions for OSX and Windows operators.

************************ For Post 0.0.9 *****************************

  - config option to publish what ports you listen on, beyond ORPort/DirPort
  - https proxy for OR CONNECT stuff
  - choose entry node to be one you're already connected to?

Tier one:
   o Move to our new version system.
   - Changes for forward compatibility
     - If a version is later than the last in its series, but a version
       in the next series is recommended, that doesn't mean it's bad.

   - Bugfixes
     o fix dfc/weasel's intro point bug
     - when we haven't explicitly sent a socks reject, sending one in
       connection_about_to_close_connection() fails because we never give it
       a chance to flush. right answer is to do the socks reply manually in
       each appropriate case, and then about-to-close-connection can simply
       warn us if we forgot one.

   - Documentation
     - Convert man pages to pod, or whatever's right.  Alternatively, find
       a man2html that actually works.
     o Macintosh HOWTO page.

   - Evangelism
     - Get more nodes running on 80 and 443.
     - Get epic, aclu, etc running nodes.

   - Dirservers and server descs: small, backward-compatible changes
     - support hostnames as well as IPs for authdirservers.
     - If we have a trusted directory on port 80, stop falling back to
       forbidden ports when fascistfirewall blocks all good dirservers.
     - GPSLocation optional config string.

   - SOCKS enhancements
     - niels's "did it fail because conn refused or timeout or what"
       relay end feature.
     - bug: if the exit node fails to create a socket (e.g. because it
       has too many open), we will get a generic stream end response.

   - Windows
N    - Make millisecond accuracy work on win32
     X Switch to WSA*Event code as a better poll replacement.  Or maybe just
       do libevent?

   - Code cleanup
     X Make more configuration variables into CSVs.
     - Make configure.in handle cross-compilation
       - Have NULL_REP_IS_ZERO_BYTES default to 1.
       - Make with-ssl-dir disable search for ssl.

   - Support
     o Bug tracker.

   - Exit hostname support
     - cache .foo.exit names better, or differently, or not.

   - IPv6 support
     - teach connection_ap_handshake_socks_reply() about ipv6 and friends
       so connection_ap_handshake_socks_resolved() doesn't also need
       to know about them.

   - Packaging
     - Figure out how to make the rpm not strip the binaries it makes.


Tier two:

   - Efficiency/speed improvements.
     o Handle pools of waiting circuits better.
     o Limit number of circuits that we preemptively generate based on past
       behavior; use same limits in circuit_expire_old_circuits().
     - Write limiting; configurable token buckets.
     - Make it harder to circumvent bandwidth caps: look at number of bytes
       sent across sockets, not number sent inside TLS stream.

     . Switch to libevent
       o Evaluate libevent
       o Convert socket handling
       o Convert signal handling
       o Convert timers
       o Update configure.in
       o Remove fakepoll
       - Hold-open-until-flushed now works by accident; it should work by
         design.
       - The logic for reading from TLS sockets is likely to overrun the
         bandwidth buckets under heavy load.  (Really, the logic was
         never right in the first place.)  Also, we should audit all users
         of get_pending_bytes().
       - Make sure it works on more platforms.
       - Find a way to make sure we have libevent 1.0 or later.
       - Check return from event_set, event_add, event_del.

   - Integrate an http proxy into Tor (maybe as a third class of worker
     process), so we can stop shipping with the beast that is Privoxy.

   - QOI
     - Let more config options (e.g. ORPort) change dynamically.

   - Dirservers and server descs: small, backward-compatible changes
     - make advertised_server_mode() ORs fetch dirs more often.
     - Implement If-Modified-Since for directories.

   - Big, incompatible re-architecting and decentralization of directory
     system.
     - Only the top of a directory needs to be signed.

   - Windows
N    - Clean up NT service code; make it work
     - Get a controller to launch tor and keep it on the system tray.
     - Win32 installer plus privoxy, sockscap/freecap, etc.

   - Controller enhancements.
     o Implement SIGNAL feature so windows can hup, shutdown, etc.
     - controller should have 'getinfo' command to query about rephist,
       about rendezvous status, etc.

N  - Handle rendezvousing with unverified nodes.
     - Specify: Stick rendezvous point's key in INTRODUCE cell.
       Bob should _always_ use key from INTRODUCE cell.
     - Implement.

N  - IPv6 support (For exit addresses)
     - Spec issue: if a resolve returns an IP4 and an IP6 address,
       which to use?
     - Add to exit policy code
     - Make tor_gethostbyname into tor_getaddrinfo
     - Make everything that uses uint32_t as an IP address change to use
       a generalize address struct.
     - Change relay cell types to accept new addresses.
     - Add flag to serverdescs to tell whether IPv6 is supported.
     - When should servers 

   - Security fixes
     - christian grothoff's attack of infinite-length circuit.
       the solution is to have a separate 'extend-data' cell type
       which is used for the first N data cells, and only
       extend-data cells can be extend requests.
     - Make sure logged information is 'safe'.

   - Code cleanup
     . rename/rearrange functions for what file they're in
     - fix router_get_by_* functions so they can get ourselves too,
       and audit everything to make sure rend and intro points are
       just as likely to be us as not.

   - Bugfixes
     - hidserv offerers shouldn't need to define a SocksPort
       * figure out what breaks for this, and do it.
     - should retry exitpolicy end streams even if the end cell didn't
       resolve the address for you

   - tor should be able to have a pool of outgoing IP addresses
     that it is able to rotate through. (maybe)

   Packaging, docs, etc:
   - Exit node caching: tie into squid or other caching web proxy.

   Deferred until needed:
   - Do something to prevent spurious EXTEND cells from making middleman
     nodes connect all over.  Rate-limit failed connections, perhaps?
   - Limit to 2 dir, 2 OR, N SOCKS connections per IP.
   - Handle full buffers without totally borking
     * do this eventually, no rush.
   - Rate-limit OR and directory connections overall and per-IP and
     maybe per subnet.
   - DoS protection: TLS puzzles, public key ops, bandwidth exhaustion.
   - Have clients and dirservers preserve reputation info over
     reboots.
   - round detected bandwidth up to nearest 10KB?
   - client software not upload descriptor until:
     - you've been running for an hour
     - it's sufficiently satisfied with its bandwidth
     - it decides it is reachable
     - start counting again if your IP ever changes.
     - never regenerate identity keys, for now.
     - you can set a bit for not-being-an-OR.
     * no need to do this yet. few people define their ORPort.
   - authdirserver lists you as running iff:
     - he can connect to you
     - he has successfully extended to you
     - you have sufficient mean-time-between-failures
     * keep doing nothing for now.
   - Include HTTP status messages in logging (see parse_http_response).

   Blue sky or deferred indefinitely:
   - Support egd or other non-OS-integrated strong entropy sources
   - password protection for on-disk identity key
   - Possible to get autoconf to easily install things into ~/.tor?
   - server descriptor declares min log level, clients avoid servers
     that are too loggy.
   - put expiry date on onion-key, so people don't keep trying
     old ones that they could know are expired?
   - Add a notion of nickname->Pubkey binding that's not 'verification'
   - Conn key rotation.
   - Need a relay teardown cell, separate from one-way ends.

Big tasks that would demonstrate progress:

   - Facility to automatically choose long-term helper nodes; perhaps
     on by default for hidden services.
   - patch privoxy and socks protocol to pass strings to the browser.
   - patch tsocks with our current patches + gethostbyname, getpeername, etc.
   - make freecap (or whichever) do what we want.
   - scrubbing proxies for protocols other than http.
     - Find an smtp proxy?
     . Get socks4a support into Mozilla
N  - Reverse DNS: specify and implement.
   - figure out enclaves, e.g. so we know what to recommend that people
     do, and so running a tor server on your website is helpful.
     - Do enclaves for same IP only.
     - Resolve first, then if IP is an OR, extend to him first.
   - implement a trivial fun gui to demonstrate our control interface.

************************ Roadmap for 2004-2005 **********************

Hard problems that need to be solved:

  - Separating node discovery from routing.
  - Arranging membership management for independence.
    Sybil defenses without having a human bottleneck.
    How to gather random sample of nodes.
    How to handle nodelist recommendations.
    Consider incremental switches: a p2p tor with only 50 users has
      different anonymity properties than one with 10k users, and should
      be treated differently.
  - Measuring performance of other nodes. Measuring whether they're up.
  - Choosing exit node by meta-data, e.g. country.
  - Incentives to relay; incentives to exit.
  - Allowing dissidents to relay through Tor clients.
  - How to intercept, or not need to intercept, dns queries locally.
  - Improved anonymity:
    - Experiment with mid-latency systems. How do they impact usability,
      how do they impact safety?
    - Understand how powerful fingerprinting attacks are, and experiment
      with ways to foil them (long-range padding?).
    - Come up with practical approximations to picking entry and exit in
      different routing zones.
    - Find ideal churn rate for helper nodes; how safe is it?
    - What info squeaks by Privoxy? Are other scrubbers better?
    - Attacking freenet-gnunet/timing-delay-randomness-arguments.
    - Is abandoning the circuit the only option when an extend fails, or
      can we do something without impacting anonymity too much?
    - Is exiting from the middle of the circuit always a bad idea?

Sample Publicity Landmarks:

  - we have N servers / N users
  - we have servers at epic and aclu and foo
  - hidden services are robust and fast
  - a more decentralized design
  - tor win32 installer works
  - win32 tray icon for end-users
  - tor server works on win32
  - win32 service for servers
  - mac installer works

***************************Future tasks:****************************

Rendezvous and hidden services:
  make it fast:
    o preemptively build and start rendezvous circs.
    o preemptively build n-1 hops of intro circs?
    o cannibalize general circs?
  make it reliable:
    - standby/hotswap/redundant services.
    - store stuff to disk? dirservers forget service descriptors when
      they restart; nodes offering hidden services forget their chosen
      intro points when they restart.
  make it robust:
    - auth mechanisms to let midpoint and bob selectively choose
      connection requests.
  make it scalable:
    - robust decentralized storage for hidden service descriptors.
  make it accessible:
    - web proxy gateways to let normal people browse hidden services.

Tor scalability:
  Relax clique assumptions.
  Redesign how directories are handled.
    - Resolve directory agreement somehow.
  Find and remove bottlenecks
    - Address linear searches on e.g. circuit and connection lists.
  Reputation/memory system, so dirservers can measure people,
    and so other people can verify their measurements.
    - Need to measure via relay, so it's not distinguishable.
  Let dissidents get to Tor servers via Tor users. ("Backbone model")

Make it more correct:
  Handle half-open connections: right now we don't support all TCP
    streams, at least according to the protocol. But we handle all that
    we've seen in the wild.
  Support IPv6.

Efficiency/speed/robustness:
  Congestion control. Is our current design sufficient once we have heavy
    use? Need to measure and tweak, or maybe overhaul.
  Allow small cells and large cells on the same network?
  Cell buffering and resending. This will allow us to handle broken
    circuits as long as the endpoints don't break, plus will allow
    connection (tls session key) rotation.
  Implement Morphmix, so we can compare its behavior, complexity, etc.
  Use cpuworker for more heavy lifting.
    - Signing (and verifying) hidserv descriptors
    - Signing (and verifying) intro/rend requests
    - Signing (and verifying) router descriptors
    - Signing (and verifying) directories
    - Doing TLS handshake (this is very hard to separate out, though)
  Buffer size pool: allocate a maximum size for all buffers, not
    a maximum size for each buffer. So we don't have to give up as
    quickly (and kill the thickpipe!) when there's congestion.
  Other transport. HTTP, udp, rdp, airhook, etc. May have to do our own
    link crypto, unless we can bully openssl into it.