A practically efficient hash-based succinct argument that bypasses the arithmetization overheads

bluetooth mesh chat, IRC vibes

Benchmarks for rust serialization frameworks

Implementation of the Google Zero-Knowledge library for Identity Protocols.

A curated list of awesome projects using STWO.

A rust starter template from ZK engineering team 🚀

A lattice-based non-interactive folding scheme written in Rust

The Rust Playground

An Infinitely Large Napkin

The Interoperable State Machine Protocol.

On For Islam

Golang Library for StarkNet/Cairo

Solidity interfaces for the Interoperable state machine protocol

ColliderVM: Stateful Computation on Bitcoin without Fraud Proofs

A list of public audit reports conducted by the Cyfrin team

ArgentX browser extension for StarkNet - made with ❤️ by Argent

Plonk Verifier in Cairo

An aggregator handles the allocation, matching, and settlement of payment intents for the Paycrest protocol

A dApp for seamless crypto-to-fiat conversion, developed for the Onchain Summer Buildathon.

A dApp for seamless crypto-to-fiat conversion.

Minimalist, fast and modular implementation of the Ethereum protocol in Rust. L1 and L2 execution client.

🧮 Path to a free self-taught education in Mathematics!

The Layer 2 of Madness: A Blockchain Where Agents Make the Rules (or Don’t)

Interactive roadmaps, guides and other educational content to help developers grow in their careers.

Formal verification tool for Rust: check 100% of execution cases of your programs 🦀 to make super safe applications! ✈️ 🚀 ⚕️ 🏦

🛠🧮 Educational sandbox for building on web3. Visually understand how Ethereum works by doing.

Description and implementation of the Shor's algorithm (to solve the prime factorization problem) using the IBM SDK Qiskit and the framework ProjectQ.

OpenZeppelin Contracts written in Cairo for Starknet, a decentralized ZK Rollup