stark

Open-source projects categorized as stark
Edit details
Language: + C++ + Cairo + Rust + Solidity + TypeScript + HTML
Topics: zero-knowledge Cryptography virtual-machine Evm Ethereum
Power Real-Time Data Analytics at Scale
Get real-time insights from all types of time series data with InfluxDB. Ingest, query, and analyze billions of data points in real-time with unbounded cardinality.
www.influxdata.com
featured

Top 6 stark Open-Source Projects

  • risc0

    RISC Zero is a zero-knowledge verifiable general computing platform based on zk-STARKs and the RISC-V microarchitecture.

  • kakarot

    Kakarot is a zkEVM written in Cairo, leveraging the STARK proof system.

    • Project mention: StarNet is getting closer to full Ethereum virtual machine compatibility with the Kakarot test network | /r/u_Responsible_World_55 | 2023-10-04

    🖥 https://kakarot.org

  • InfluxDB

    Power Real-Time Data Analytics at Scale. Get real-time insights from all types of time series data with InfluxDB. Ingest, query, and analyze billions of data points in real-time with unbounded cardinality.

    InfluxDB logo

  • miden-vm

    STARK-based virtual machine

  • zk-starter

    zero knowledge for those with zero knowledge

  • stark

    Modern client-side Web application framework based on Angular, Angular Material / Material Design, TypeScript, Redux, RxJS, ...

  • stark-sketch-plugin

    Ensure your design is accessible and high contrast for every type of color blindness

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).

stark related posts

  • The Cairo Programming Language

    4 projects | news.ycombinator.com | 3 May 2023

  • Proof systems, trusted setups and recursive proofs

    2 projects | /r/zeroknowledge | 23 Mar 2023

  • Proof of 0 == 1 in Polygon Miden (ZK-Rollup Solution)

    1 project | news.ycombinator.com | 21 Dec 2022

  • Proof of 0 == 1 in Polygon Miden (ZK-Rollup Solution)

    1 project | /r/ethereum | 21 Dec 2022

  • Proof of 0 == 1 in Polygon Miden

    1 project | /r/0xPolygon | 21 Dec 2022

  • Do this before presenting your design! – Accessibility check. (A lot of Designers still do this mistake...)

    3 projects | /r/UXDesign | 23 Nov 2022

  • Zero knowledge proofs in RISC-V

    1 project | news.ycombinator.com | 5 May 2022
  • A note from our sponsor - SaaSHub
    www.saashub.com | 9 May 2024
    SaaSHub helps you find the best software and product alternatives Learn more →

Index

What are some of the best open-source stark projects? This list will help you:

Project Stars
1 risc0 1,440
2 kakarot 868
3 miden-vm 596
4 zk-starter 101
5 stark 53
6 stark-sketch-plugin 46

Sponsored
SaaSHub - Software Alternatives and Reviews
SaaSHub helps you find the best software and product alternatives
www.saashub.com