What are the main sources of funding for these bitcoin developers? Are whales funding development directly and through what channels?