8000 alireza-shirzad (alireza-shirzad) / Repositories · GitHub
[go: up one dir, main page]
More Web Proxy on the site http://driver.im/
Skip to content
View alireza-shirzad's full-sized avatar
24 followers · 17 following

Achievements

Achievement: Pull Sharkx2

Achievements

Achievement: Pull Sharkx2

Highlights

  • Pro

Block or report alireza-shirzad

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

  • hyperplonk Public

    Forked from EspressoSystems/hyperplonk
    Rust MIT License Updated May 21, 2025

  • ark-piop Public

    Rust Updated May 19, 2025

  • algebra Public

    Forked from arkworks-rs/algebra

    Libraries for finite field, elliptic curve, and polynomial arithmetic

    Rust Apache License 2.0 Updated May 11, 2025

  • alireza-shirzad.github.io Public

    HTML MIT License Updated May 10, 2025

  • garuda-pari Public

    A Rust implementation of the Garuda and Pari SNARKs

    cryptography blockchain zero-knowledge snark
    Rust Updated May 8, 2025

  • groth16 Public

    Rust Apache License 2.0 Updated May 7, 2025

  • circom-compat Public

    Forked from arkworks-rs/circom-compat

    Arkworks bindings to Circom's R1CS, for Groth16 Proof and Witness generation in Rust.

    Rust Apache License 2.0 Updated May 2, 2025

  • crypto-primitives Public

    Forked from arkworks-rs/crypto-primitives

    Interfaces and implementations of cryptographic primitives, along with R1CS constraints for them

    Rust Apache License 2.0 Updated Apr 15, 2025

  • snark Public

    Forked from arkworks-rs/snark

    Interfaces for Relations and SNARKs for these relations

    Rust Apache License 2.0 Updated Apr 15, 2025

  • spartan Public

    Forked from arkworks-rs/spartan

    Spartan on Arkworks

    Rust MIT License Updated Apr 14, 2025

  • r1cs-std Public

    Forked from arkworks-rs/r1cs-std

    R1CS constraints for bits, fields, and elliptic curves

    Rust Apache License 2.0 Updated Apr 12, 2025

  • criterion.rs Public

    Forked from bheisler/criterion.rs

    Statistics-driven benchmarking library for Rust

    Rust Apache License 2.0 Updated Mar 31, 2025

  • std Public

    Forked from arkworks-rs/std

    A standard library wrapper for use in the `arkworks` ecosystem

    Rust Apache License 2.0 Updated Mar 28, 2025

  • splab Public

    Forked from eniac/splab

    Penn's Security and Privacy Lab

    HTML Other Updated Mar 24, 2025

  • polymath Public

    Forked from CharmsDev/polymath

    Polymath: Groth16 Is Not The Limit

    Rust Apache License 2.0 Updated Mar 14, 2025

  • ark-guo Public

    Abstractions and implementations of groups of unknown order

    Rust Updated Feb 25, 2025

  • CV Public

    This is my CV

    TeX Updated Oct 3, 2024

  • divan Public

    Forked from Aloso/divan

    Fast and simple benchmarking for Rust projects

    Rust Apache License 2.0 Updated Sep 3, 2024

  • poly-commit Public

    Forked from arkworks-rs/poly-commit

    A Rust library for polynomial commitments

    Rust Apache License 2.0 Updated Jul 30, 2024

  • sumcheck Public

    Forked from arkworks-rs/sumcheck

    linear-time sumcheck protocol for multilinear polynomials and related addends

    Rust Apache License 2.0 Updated Mar 16, 2023

  • Compressor Public

    Java Implementation of text lossless compressor

    Java 1 Updated Apr 6, 2021

  • Scrambler Public

    Scrambler and Descrambler implementation using verilog HDL

    Verilog 2 3 Updated Nov 12, 2020

  • EmptyStack_NFA Public

    A java tool for finding the empty stack NFA (non deterministic finite automata) of a given PDA (Pushdown automata)

    Java Updated Nov 11, 2020

  • DFA_Minimizer Public

    A tool for minimizing any given DFA (Deterministic finite automaton)

    Java Updated Nov 11, 2020

  • Linux-Kernel-Modules Public

    System programming course homeworks

    C Updated Oct 15, 2020

  • Map-JS Public

    Voice traffic map of Iran

    JavaScript Updated Oct 15, 2020

  • Hearthstone Public

    A partial Java implementation of the card game Hearthstone

    Java Updated Aug 21, 2020

  • Cordic_tanh Public

    Verilog and matlab implementation of tanh using Cordic algorithm

    Verilog 9 3 Updated Jun 5, 2020

  • AODV Public

    AODV Ad-Hoc routing algorithm simulation in a bttlefield

    Python Updated Jun 5, 2020

  • Tetris Public

    A Java implementation of Tetris game

    Java 1 Updated Jun 5, 2020
0