Interfaces and implementations of cryptographic primitives, along with R1CS constraints for them

Spartan: High-speed zkSNARKs without trusted setup

Pure Rust implementation of the PLONK ZKProof System done by the Dusk team

AutoMQ is a diskless Kafka® on S3. 10x Cost-Effective. No Cross-AZ Traffic Cost. Autoscale in seconds. Single-digit ms latency. Multi-AZ Availability.

Learning of Mina Blockchain

This is a GraphQL server that is built with the intention of exposing information from Mina's Archive Node

The proof systems used by Mina

Zero-Knowledge Proof Systems Circuit Compiler

zk-SNARK library.

DEPRECATED in favor of https://github.com/madara-alliance/madara

Node.js JavaScript runtime ✨🐢🚀✨

https://tact-by-example.org - Learn Tact by diving head first into working code and seeing many different contracts

TON&Tact课程学习

The Mina Rust node is an implementation in Rust of the Mina Protocol

Mina is a cryptocurrency protocol with a constant size blockchain, improving scaling while maintaining decentralization and security.

Mina Protocol 携手 OpenBuild 推出为零知识证明开发者设计的 Bootcamp，帮助开发者可以从零开始学习在 Mina Protocol 构建 ZK 驱动的应用（zkApp）。

🏃‍♂️💨 GPU accelerated STARK prover built on @arkworks-rs

🏃‍♂️💨 GPU accelerated STARK prover built on @arkworks-rs

Tutorial for STARKs with supporting code in python

Coda + Dekrypt: The SNARK Challenge - Reference Material

MIT-licensed C implementation of getblocktemplate

Bitcoin Core integration/staging tree

C library for Bitcoin's base58 encoding