Skip to content
View alxiong's full-sized avatar

Block or report alxiong

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse
Showing results

A performant and modular zkVM framework built for customization and extensibility.

Rust 163 20 Updated Jan 18, 2025

A Framework of Lattice-based Zero-knowledge Arguments in Rust

Rust 41 7 Updated Jan 6, 2025

Capstone disassembly/disassembler framework for ARM, ARM64 (ARMv8), Alpha, BPF, Ethereum VM, HPPA, LoongArch, M68K, M680X, Mips, MOS65XX, PPC, RISC-V(rv32G/rv64G), SH, Sparc, SystemZ, TMS320C64X, T…

C 7,734 1,565 Updated Jan 17, 2025

A framework for writing performant and reliable networked services.

Zig 381 12 Updated Jan 4, 2025
Rust 283 109 Updated Jan 16, 2025

Multi-party computation libraries written in Rust πŸ¦€

Rust 230 48 Updated Jan 15, 2025

Lurk is a Turing-complete programming language for recursive zk-SNARKs. This is the prior, elliptic curve based variant of Lurk (contact: @porcuquine)

Rust 438 58 Updated Jan 13, 2025

SWE-agent takes a GitHub issue and tries to automatically fix it, using GPT-4, or your LM of choice. It can also be employed for offensive cybersecurity or competitive coding challenges. [NeurIPS 2…

Python 14,212 1,447 Updated Jan 17, 2025

MLIR For Beginners tutorial

C++ 877 76 Updated Sep 30, 2024

A library for lattice-based multiparty homomorphic encryption in Go

Go 1,251 184 Updated Jan 17, 2025

A compiler for homomorphic encryption

C++ 373 57 Updated Jan 18, 2025

The Nexus zkVM: The zero-knowledge virtual machine

Rust 2,114 368 Updated Jan 8, 2025

Blazingly πŸ”₯ fast πŸš€ memory vulnerabilities, written in 100% safe Rust. πŸ¦€

Rust 4,189 105 Updated Oct 22, 2024

The fastest, most feature-complete zkVM for developers.

Rust 1,138 402 Updated Jan 18, 2025

A hardware acceleration library for compute intensive cryptography 🧊

C++ 362 116 Updated Jan 17, 2025

Lattice algorithms using floating-point arithmetic

C++ 328 102 Updated Nov 12, 2024

Experimental folding schemes library

Rust 221 64 Updated Jan 12, 2025

Apache Teaclave (incubating) SGX SDK helps developers to write Intel SGX applications in the Rust programming language, and also known as Rust SGX SDK.

Rust 1,181 266 Updated Oct 3, 2024
OCaml 1 Updated Dec 21, 2023

C library for prototyping and experimenting with quantum-resistant cryptography

C 2,022 486 Updated Jan 15, 2025

A curated list of zero-knowledge folding schemes

288 32 Updated Aug 6, 2024

A Scalable, User-Friendly Source Control System.

Rust 6,245 289 Updated Jan 18, 2025

A Python-embedded modeling language for convex optimization problems.

C++ 5,565 1,077 Updated Jan 13, 2025

RISC Zero is a zero-knowledge verifiable general computing platform based on zk-STARKs and the RISC-V microarchitecture.

C++ 1,757 475 Updated Jan 18, 2025

The simplest and most extensible zkVM. Fast and fully open source from a16z crypto and friends. ⚑

Rust 731 187 Updated Jan 17, 2025
Rust 102 33 Updated Apr 23, 2024

πŸ¦œπŸ”— Build context-aware reasoning applications

Jupyter Notebook 98,497 16,004 Updated Jan 18, 2025

Rust Post-Quantum cryptography

Rust 261 46 Updated Dec 11, 2024
Next
Showing results