irfan's repositories
shamirs-secret-sharing
Leo code generator for varying parameters of Shamir's secret sharing algorithm.
Language:Python000
Language:C000
cairo-vm
cairo-vm is a Rust implementation of the Cairo VM. Cairo (CPU Algebraic Intermediate Representation) is a programming language for writing provable programs, where one party can prove to another that a certain computation was executed correctly without the need for this party to re-execute the same program.
Language:RustApache-2.0000
Language:JavaScript000
Language:JavaScript000
Language:JavaScript000
Language:Solidity000
gnark
gnark is a fast zk-SNARK library that offers a high-level API to design circuits. The library is open source and developed under the Apache 2.0 license
Language:GoApache-2.0000
gnark-phase2-contribute
Set of tools to handle phase2 contributions and ease the process for contributors.
Language:Shell000
gnark-phase2-mpc-wrapper
Semaphore Merkle Tree Batcher MPC Trusted Setup Ceremony tool
Language:Go000
Language:RustApache-2.0000
Language:Rust000
Language:C++000
Language:Rust000
ptau-deserializer
.ptau deserializer for gnark groth16 bn254 trusted setup
Language:GoMIT000
Language:JavaScript000
Language:C++000
Language:JavaScriptMIT000
Language:Python000