starks
Here are 15 public repositories matching this topic...
🏃♂️💨 GPU accelerated STARK prover built on @arkworks-rs
-
Updated
Feb 14, 2024 - Rust
State-of-the-art Elliptic Curve operations and SNARKS verification for Cairo & Starknet 🐺.
-
Updated
Jun 3, 2024 - Cairo
Low-level language for encoding AIR of computations
-
Updated
May 7, 2023 - TypeScript
👨🎓 Lista de recursos traducidos sobre aprendizaje relacionado con Starknet y Cairo
-
Updated
Aug 5, 2023
A place to learn ZK with Jupyter
-
Updated
May 27, 2024 - Jupyter Notebook
A fork of the novifinancial/winterfell STARK library.
-
Updated
Jan 26, 2023 - Rust
Trains a differentially-private linear regression inside of the RISC-Zero virtual machine.
-
Updated
Apr 26, 2024 - Rust
STARKs (Scalable Transparent Argument of Knowledge) is a relatively complex zero-knowledge proof algorithm, and it would require significant effort to implement it from scratch in C++. However, there are libraries available that provide implementations of STARKs that can be used in C++ code.
-
Updated
Mar 3, 2023 - C++
Bonsai relay interacts with Solidity contract to produce a differentially-private machine learning prediction.
-
Updated
Sep 23, 2023 - Rust
Improve this page
Add a description, image, and links to the starks topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with the starks topic, visit your repo's landing page and select "manage topics."