GitHub · Where software is built

8000 GitHub · Where software is built

More Web Proxy on the site http://driver.im/

Labels Milestones New issue

bug: loop invariant constraints are not optimized in Circom

#368

· liamegger opened

on May 21, 2025

Complement Test Regression

#367

· kenohassler opened

on May 8, 2025

building cpp prover on mac osx

#362

· zhiqiangxu opened

on Apr 18, 2025

Witness generator will not compile on aarch64 (Mac OS) due to type mismatch in fr.hpp/fr.cpp

#351

· mars-risc0 opened

on Mar 21, 2025

add support for global constants

#347

· bkomuves opened

on Mar 4, 2025

Syntax error

#339

· amaramci opened

on Jan 22, 2025

Non quadratic constraints are not allowed! WHY??

#338

· amaramci opened

on Jan 21, 2025

Constraint with variable number of signals

#333

· hilder-vitor opened

on Jan 3, 2025

[Feature Request] Support for Encrypted Return Values in Generated Solidity Contracts

#328

· oftiyf opened

on Dec 24, 2024

Dead Code: Unused Fields in Constraint Generation Module

#309

· wamimi opened

on Oct 22, 2024

Can calculateWTNSBin() / _doCalculateWitness() ensure promise safety?

#297

· yushihang opened

on Sep 24, 2024

Getting started tutorial doesn't seem to work anymore

#296

· michal-wrzosek opened

on Sep 20, 2024

0