-
The simplest and most extensible zkVM. Fast and fully open source from a16z crypto and friends. ⚡
Rust Apache License 2.0 UpdatedDec 20, 2025 -
-
leanMultisig Public
Forked from leanEthereum/leanMultisigRust Apache License 2.0 UpdatedNov 24, 2025 -
A high performance and modular implementation of the Dory polynomial commitment scheme
Rust Apache License 2.0 UpdatedNov 12, 2025 -
-
-
-
mathlib4 Public
Forked from leanprover-community/mathlib4The math library of Lean 4
Lean Apache License 2.0 UpdatedAug 27, 2025 -
space-efficient-sumcheck Public
Forked from compsec-epfl/efficient-sumcheckEven more efficient sum-check
Rust Apache License 2.0 UpdatedAug 27, 2025 -
lily58-config Public template
Forked from typeractivexyz/lily58-wireless-view-zmk-configUpdatedAug 20, 2025 -
asiacrypt-2025-submission Public
Implementations for "Speeding Up Sum-Check Proving"
-
arkworks-algebra Public
Forked from a16z/arkworks-algebraLibraries for finite field, elliptic curve, and polynomial arithmetic
Rust Apache License 2.0 UpdatedFeb 21, 2025 -
batteries Public
Forked from leanprover-community/batteriesThe "batteries included" extended library for the Lean programming language and theorem prover
Lean Apache License 2.0 UpdatedFeb 10, 2025 -
Spartan Public
Forked from microsoft/SpartanSpartan: High-speed zkSNARKs without trusted setup
Rust MIT License UpdatedMay 4, 2022 -
challenge-bypass-ristretto Public
Forked from brave-intl/challenge-bypass-ristrettoChallenge Bypass using the Ristretto group
Rust Mozilla Public License 2.0 UpdatedMay 2, 2022 -
Nova Public
Forked from microsoft/NovaNova: Recursive SNARKs without trusted setup
Rust MIT License UpdatedApr 30, 2022 -
old_template Public
Github Pages template for academic personal websites, forked from mmistakes/minimal-mistakes
JavaScript MIT License UpdatedDec 12, 2021 -
-
sonic Public
Forked from input-output-hk/sonicSonic protocol
Rust Apache License 2.0 UpdatedMay 11, 2020 -
-
-
Morse-Code-Decoder Public
Translate a bit representation of Morse code into words. Use k-means clustering to filter noise during transmission.
Java UpdatedFeb 9, 2017 -
Hackathon2017 Public
Forked from dominhtri1995/Hackathon2017Quote recommendation and mood tracking app, using Microsoft API for emotion analysis.
Java UpdatedFeb 4, 2017 -
Blackjack-Simulator Public
Simulate a game of BlackJack with a player and a dealer
Java UpdatedJan 28, 2017
{{ message }}