-
-
-
-
-
-
-
-
-
-
lcpc Public
Forked from conroi/lcpcpolynomial commitments from linear codes
Rust Apache License 2.0 UpdatedJul 29, 2024 -
Goldilocks Public
Forked from hero78119/GoldilocksImplementation of Goldilocks and its extension fields for both Halo2 traits and arkworks traits
Rust UpdatedJul 23, 2024 -
ff Public
Forked from zkcrypto/ffTraits and utilities for working with finite fields.
Rust Apache License 2.0 UpdatedJul 23, 2024 -
arecibo Public
Forked from lurk-lang/areciboAn advanced fork of Nova
Rust MIT License UpdatedApr 24, 2024 -
bit-manipulation Public
Annotated collection of bit manipulation techniques with code examples
Rust UpdatedMar 29, 2024 -
-
cairovm.codes Public
Forked from walnuthq/cairovm.codesSource code for cairovm.codes — a web app to compile Cairo programs into Sierra and CASM with step-through execution capabilities.
TypeScript MIT License UpdatedFeb 13, 2024 -
cairovm.codes-server Public
Server code for cairovm.codes — a web app to compile Cairo programs into Sierra and CASM with step-through execution capabilities.
-
miden-vm Public
Forked from 0xPolygonMiden/miden-vmSTARK-based virtual machine
Rust MIT License UpdatedFeb 12, 2024 -
barustenberg Public
Forked from laudiacay/barustenbergbarretenburg in rust (here we go)
Rust Apache License 2.0 UpdatedJan 10, 2024 -
lambdaworks Public
Forked from lambdaclass/lambdaworksThe library for kids who wanna learn how to do SNARKs and learn other cryptographic stuff too
Rust Apache License 2.0 UpdatedSep 11, 2023 -
-
-
-
-
-
-
dashsync-iOS Public
Forked from dashpay/dashsync-iOSBlockchain Dash framework for iOS
Objective-C MIT License UpdatedJan 6, 2023 -
filemk Public
A simple tool to create files from the command line
-
slide-deck Public
Present your slides on the web, use your phone as a controller
-
Sunscreen Public
Forked from Sunscreen-tech/SunscreenA compiler for the BFV fully homomorphic encryption scheme
Rust GNU Affero General Public License v3.0 UpdatedDec 3, 2022