research
kakarot
research | kakarot | |
---|---|---|
10 | 3 | |
1,726 | 872 | |
0.9% | 2.8% | |
6.4 | 9.5 | |
10 days ago | 4 days ago | |
Python | Cairo | |
MIT License | MIT License |
Stars - the number of stars that a project has on GitHub. Growth - month over month growth in stars.
Activity is a relative number indicating how actively a project is being developed. Recent commits have higher weight than older ones.
For example, an activity of 9.0 indicates that a project is amongst the top 10% of the most actively developed projects that we are tracking.
research
-
Daily General Discussion - April 30, 2023
Vitalik teases twitter that "Sharding is coming" with the release of research code, and provides more info here
-
Daily General Discussion - April 16, 2023
Casper Version 1 Implementation Guide sees the light.
- Daily General Discussion - February 17, 2023
-
[AMA] We are EF Research (Pt. 9: 11 January, 2023)
I would definitely love for there to be more work on ZK programming languages. Exposing the internals more to help people do this was one of my motivations for attempting the task of making my own PLONK implementation. We need more tools to help people write circuits, and verify circuits; we should get to the point where verifying a verification key can be done eg. on etherscan as easily as verifying solidity code can be today.
-
Ethereum Energy Consumption
> they have zero power to do anything related to consensus.
Suggest reading what Vitalik has to say if you're going to offer this kind of objection:
https://github.com/ethereum/research/blob/master/papers/disc...
Infura collects upwards of 80 percent of the fees that flow into Ethereum and is in a position to control exactly who participates profitably. If your solution is "minority will fork" the obvious question is surely "with what scalable infrastructure?"
-
Cardano Network Developers Increase Block Size by 10%
The main difference between all recent Ethereum sharding proposals since ~2020 (both Danksharding and pre-Danksharding) and most non-Ethereum sharding proposals is Ethereum’s rollup-centric roadmap (see also: [1] [2] [3]): instead of providing more space for transactions, Ethereum sharding provides more space for blobs of data, which the Ethereum protocol itself does not attempt to interpret. Verifying a blob simply requires checking that the blob is available - that it can be downloaded from the network. The data space in these blobs is expected to be used by layer-2 rollup protocols that support high-throughput transactions.
-
Daily General Discussion - April 3, 2021
Vitalik Buterin gives a (not so sneak) peek at the current version of the Casper contract.
-
Metakovan, the mystery Beeple art buyer, and his NFT/DeFi scheme
Quite surprised at this comment. The reason I got into blockchain was _because_ of the incredibly difficult technical challenges it poses. Among the few I get to work on:
- How to implement robust p2p networking algorithms for sharding in a distributed system such as Ethereum (a very deep rabbit hole), as Ethereum is migrating to a "sharded" architecture
- How to solve the "data availability problem" https://github.com/ethereum/research/wiki/A-note-on-data-ava.... The current solution uses advanced cryptography known as KZG commitments https://dankradfeist.de/ethereum/2020/06/16/kate-polynomial-...
- How to solve the problem of "transaction frontrunning", in which miners have an asymmetric advantage in ordering transactions they put in blocks for their benefit, which can adversely affect users creating those transactions. This is a problem known as MEV (Miner Extractable Value) https://research.paradigm.xyz/MEV and there is some incredibly sophisticated work going into this problem. It is a deep engineering problem as well
I could go on and probably give you 20 other incredibly technical, challenging problems that are on the bleeding-edge of this technology. If you're interested, would be happy to chat more!
-
Weak statelessness and/or state expiry: coming soon (x-post from EthMagicians)
Verkle trees (very important concept): slides, doc, code
-
Daily General Discussion - February 28, 2021
All ethereum research is open source https://github.com/ethereum/research including the cryptography they plan to use for eth2. If you want an overview of what eth2 could look like take a look at the roadmap https://twitter.com/VitalikButerin/status/1333922620857745408 or the eth2 specs https://github.com/ethereum/eth2.0-specs
kakarot
-
StarNet is getting closer to full Ethereum virtual machine compatibility with the Kakarot test network
🖥 https://kakarot.org
-
[AMA] We are EF Research (Pt. 9: 11 January, 2023)
One totally different route we could take is eventually moving away from the EVM to some ZK-friendly EVM like Cairo. Existing EVM code would be replaced with execution of an EVM interpreter written in Cairo. This is all fairly long-term speculation at this point though.
- Welcome to Kakarot ZK-EVM
What are some alternatives?
portal-network-specs - Official repository for specifications for the Portal Network
fee-feed - Minimal fee data viewer
protocols - A zkRollup DEX & Payment Protocol
reth - Modular, contributor-friendly and blazing-fast implementation of the Ethereum protocol, in Rust
pm - Project Management: Meeting notes and agenda items
starknet-erc721 - Learn how to deploy and customize an ERC721 token on StarkNet
dataunions - A monorepo containing Data Union SDK, smart contracts, and subgraphs
awesome-cairo - Resources for Cairo 1.0 development.
ConsensusLayerWithdrawalProtection
starknet-cairo-101 - Learn how to read Cairo code
casper - Casper contract, and related software and tests