What have Panvala’s grantees been up to?
This is a monthly update with the most important announcements of our grantees.
Gitcoin announces Web3World, their new virtual hackathon
The hackathon will take place from October 28 - November 11. Register here to receive email updates and more information on sponsors and prizes.
Status launches Subspace
A few weeks ago, Status announced the launch of Subspace: a framework agnostic JS Library for Reactive Dapp Development. It allows developers to write reactive dapps with RxJS observables for smart contract events, state and balances.
List of features
- Automatic syncing
- Event tracking and sourcing
- Tracking State
- Tracking balances
- React Integration
Learn more here.
Runtime Verification completes the executable formal model of Beacon Chain in the K Framework
Ethereum is transitioning into a sharded, PoS consensus mechanism. Runtime Verification, as part of their ongoing collaboration with the Ethereum Foundation, is building a formal framework for modeling and verifying the Beacon Chain (the specific PoS protocol of Ethereum 2.0 is known as the Beacon Chain).
Our goal in this work is to build a formal model of the Beacon Chain that corresponds as closely as possible to the reference implementation given by “Ethereum 2.0 Phase 0 Specification”), so as to enable the following tasks: Simulating or animating the execution of the Beacon Chain state transition function, Running existing tests from the Beacon Chain test-suites, Analyzing the code coverage of existing test-suites and improve it with new tests.
The executable K Model is an important first milestone towards formally verifying the Beacon Chain and its reference implementation.
To learn more about the Beacon Chain, how this model was developed and why it’s important, read this article on Runtime Verification’s blog.
Connext v2.0 now supports DAI Card
The Dai card is a simple in-browser wallet that was built to showcase the power of state channels. It allows for cheap, fast and stable Ethereum payments - and accordingly, was a huge success. Within the first week, close to a thousand payments in Dai were made by hundreds of unique users.
While you won’t notice a huge difference in user interface, v2.0 brings a lot of improvements behind the scenes to make payments more robust and trust-minimized.
Some of the most important improvements include:
- More reliable deposits and withdrawals. No more broken channels because of infrastructure failures or chain congestion!
- All transfers (even the ones to offline recipients) are fully noncustodial through the new async_transfer conditional payment type.
- Users are responsible for storing their own state. Because this introduces a higher risk of losing funds, support for state backups and recovery has been added.
- Significantly more extensibility of the codebase. New transfer types and features can be added in days or even hours.
To learn more, click here.
Aragon One announces Aragon Chain
Aragon Chain will be a proof of stake blockchain for the Aragon Community - one that better suits Aragon’s needs and goals.
Relying exclusively on Ethereum poses a considerable platform risk that we should hedge against by having Aragon available in multiple chains. It’s important to have a chain governed by the Aragon community as it will only have our best interests at heart.
It’s important to note that Aragon is not leaving Ethereum. Aragon Court and the Aragon Network v1 will be deployed on the Ethereum mainnet by the end of 2019, Ethereum support won’t be dropped and the necessary changes for Aragon to work on Eth 2.0 will likely be made.
However, the inability to predict future cost and the uncertainty around when exactly Ethereum 2.0 reaches feature parity with the current Ethereum mainnet, among other reasons, make it a necessary decision for Aragon to take control of their own platform from the bottom up.
To read more about the reasons for creating Aragon Chain, using Cosmos SDK and Ethermint to build it, and ARA (Aragon’s new staking token), click here.
Bounties Network is bringing blockchain education to favelas in Brazil
Bounties Network is collaborating with Brazil Blockchain Academy, MakerDAO and the World Bank to educate students in Brazil about blockchain education.
The course will consist of 10 classes over the course of 10 weeks. To incentivize student engagement, there will be at least one bounty for the students to fulfill per class. Rewards will be in $DAI and $ETH.
The wallet onboarding bounty for the course can be found here [Portuguese].
Which of these updates are you most excited about? Let us know!