chyanju/Picus chyanju/Picus

  • Stars
    star
    36
  • Rank 720,919 (Top 15 %)
  • Language Circom
  • License
    MIT License
  • Created about 2 years ago
  • Updated 27 days ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
chyanju/Picus
github

chyanju

Reviews

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Repository Details

Automated verification of uniqueness property for ZKP circuits

More Repositories

1

__archived__Medjai

A Symbolic Execution Tool for Cairo
Racket
15
star
2

ReSySeVR

Fixing SySeVR.
Jupyter Notebook
10
star
3

MARS-Dataset

dataset and related scripts for MARS
Python
4
star
4

__achived__Venti

Verifying Smart Contracts via Yul
Yul
3
star
5

Poe

Visualization Question Answering Using Introspective Program Synthesis
Python
2
star
6

zhash

Lifted Racket Hash for Rosette
Racket
1
star
7

SolInv

An RL Solution for Invariant Synthesis in Solidity
Jupyter Notebook
1
star
8

__archived__pip-cairo-lang

Cairo Pip Package with Symbolic Support
Python
1
star