twisted edwards curve jubjub implementation

凩: A Next-Generation Composable Hybrid Smart Contract and (De)Centralized Merged Application Platform

⚡A CLI tool for code structural search, lint and rewriting. Written in Rust

Podman: A tool for managing OCI containers and pods.

JumpServer 是广受欢迎的开源堡垒机，是符合 4A 规范的专业运维安全审计系统。

Contracts for SP1

Hurl, run and test HTTP requests with plain text.

A modular stack for zkVMs, with a focus on productivity, security and performance.

A toolkit for polynomial IOPs (PIOPs)

比特币源码研读

Pure Rust implementation of Ethereum Virtual Machine

Dusk's Smart Contract Platform

High performance EraVM for zkSync.

An example of a ZK Tendermint light client on Ethereum powered by SP1.

Implementing a ChatGPT-like LLM in PyTorch from scratch, step by step

lambdaworks offers implementations for both SNARKs and STARKs provers, along with the flexibility to leverage their individual components for constructing customized SNARKs.

OpenCL for Rust

SNARK Circuit library

Rust Poseidon implementation.

A highly customizable Changelog Generator that follows Conventional Commit specifications ⛰️

A highly customizable Changelog Generator that follows Conventional Commit specifications ⛰️

gnark-crypto provides elliptic curve and pairing-based cryptography on BN, BLS12, BLS24 and BW6 curves. It also provides various algorithms (algebra, crypto) of particular interest to zero knowledg…

A Go bot written in Rust with Monte Carlo Tree Search & a brain dump on go bot optimizations

Nim is a statically typed compiled systems programming language. It combines successful concepts from mature languages like Python, Ada and Modula. Its design focuses on efficiency, expressiveness,…

Source code for "Building Cryptographic Proofs from Hash Functions"

Collection of cryptography-related traits

使用 Rust 编写的 WebSocket 聊天室（客户端+服务端）