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. Learn more →
Proof-systems Alternatives
Similar projects and alternatives to proof-systems
-
drom
drom is a wrapper over opam/dune in an attempt to provide a cargo-like user experience. It can be used to create full OCaml projects with sphinx and odoc documentation. It has specific knowledge of Github and will generate files for Github Actions CI and Github pages.
-
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.
-
cairo
Cairo is the first Turing-complete language for creating provable programs for general computation. (by starkware-libs)
-
SaaSHub
SaaSHub - Software Alternatives and Reviews. SaaSHub helps you find the best software and product alternatives
proof-systems reviews and mentions
-
Vitalik Explains How Zero Knowledge Proofs Can Help Ethereum Overcome Privacy Limitations (3-minute audio clip)
Shameless plug, we have a bunch of resources to learn zero knowledge proofs if you’re interested! Check the mina book here: https://o1-labs.github.io/proof-systems/ or the series of videos introducing plonk https://youtu.be/RUZcam_jrz0
- 2021 at OCamlPro
-
Mina and Ethereum new partners??
The github commit of the code which will serve as the spec will be determined at the beginning of the project. The code is developed in the open at https://github.com/o1-labs/marlin and https://github.com/minaprotocol/mina/.
-
A note from our sponsor - InfluxDB
www.influxdata.com | 1 Jun 2024
Stats
o1-labs/proof-systems is an open source project licensed under Apache License 2.0 which is an OSI approved license.
The primary programming language of proof-systems is Rust.
Sponsored