EcneProject
Constraint Verifier
Tools for verifying soundness of R1CS constraints in Julia
Ecne: An engine for verifying the soundness of R1CS constraints
108 stars
2 watching
7 forks
Language: Julia
last commit: about 4 years agoRelated projects:
| Repository | Description | Stars |
|---|---|---|
 verifytests/verify.icsharpcode.decompiler | A verification tool for .NET assemblies decompiled by ICSharpCode.Decompiler | 8 |
 fisxoj/sanity-clause | Library for defining data validation contracts in dynamically typed languages | 51 |
 vehicle-lang/vehicle | A toolkit for enforcing logical specifications on neural networks | 82 |
| verifytests/verify.brighter | Adds support for verifying a specific command processing framework | 2 |
 serchinastico/kin | A tool to validate Xcode project configuration files for syntax errors | 1,025 |
 veridise/picus | Automated tool for verifying uniqueness properties in zero-knowledge proof circuits | 70 |
 princetonuniversity/vst | A collection of formal verification tools and libraries for writing secure and reliable software using the Coq proof assistant | 444 |
 guanghelee/neurips19-certificates-of-robustness | Provides a framework for computing tight certificates of adversarial robustness for randomly smoothed classifiers. | 17 |
 princeton-nlp/charxiv | An evaluation suite for assessing chart understanding in multimodal large language models. | 85 |
 chillu1/csharpecscomparison | A comparison table of popular C# ECS frameworks | 52 |
 p-ranav/criterion | A microbenchmarking library for measuring performance of C++ code | 212 |
 pnnl/constrain | Automates the verification of building control systems using data-driven analytics and machine learning algorithms | 7 |
 moshe/elasticsearch-comrade | An Elasticsearch admin and monitoring panel built with VueJS and Python | 273 |
 standardsemiconductor/lion | Develops a formally verified RISC-V processor core using Haskell | 249 |
 hughsk/envify | Replaces environment variable checks with plain string comparisons | 902 |