Cairo proof-system

Open-source Cairo projects categorized as proof-system
Edit details
Topics: #Ethereum #Evm #zero-knowledge #smart-contracts #starknet #cairo-lang
Tired of breaking your main and manually rebasing outdated pull requests?
Managing outdated pull requests is time-consuming. Mergify's Merge Queue automates your pull request management & merging. It's fully integrated to GitHub & coordinated with any CI. Start focusing on code. Try Mergify for free.
blog.mergify.com
Sponsored

Cairo proof-system Projects

  • kakarot

    ZK-EVM type 2.5 written in Cairo, leveraging STARK proof system.

    Project mention: [AMA] We are EF Research (Pt. 9: 11 January, 2023) | /r/ethereum | 2023-01-10

    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.

  • Mergify

    Tired of breaking your main and manually rebasing outdated pull requests?. Managing outdated pull requests is time-consuming. Mergify's Merge Queue automates your pull request management & merging. It's fully integrated to GitHub & coordinated with any CI. Start focusing on code. Try Mergify for free.

NOTE: The open source projects on this list are ordered by number of github stars. The number of mentions indicates repo mentiontions in the last 12 Months or since we started tracking (Dec 2020). The latest post mention was on 2023-01-10.

Index

Project Stars
1 kakarot 688

Sponsored
Clean code begins in your IDE with SonarLint
Up your coding game and discover issues early. SonarLint is a free plugin that helps you find & fix bugs and security issues from the moment you start writing code. Install from your favorite IDE marketplace today.
www.sonarlint.org