franklynwang/EcneProject

Ecne: An engine for verifying the soundness of R1CS constraints

JuliaPythonShell
This is stars and forks stats for /franklynwang/EcneProject repository. As of 29 Apr, 2024 this repository has 84 stars and 6 forks.

Ecne (R1CSConstraintSolver.jl) Introduction zk-SNARKs are a method for generating zero-knowledge proofs of arbitrary functions, as long as these functions can be expressed as the result of a R1CS (a rank-one constraint system). However, one still needs to convert functions into R1CS form. As this is a laborious process (though still far easier than starting from scratch), Ecne, named after the Celtic god of wisdom, is a tool that can be used to translate functions into R1CS form, in its current form,...
Read on GithubGithub Stats Page
repotechsstarsweeklyforksweekly
sethaxen/Pathfinder.jlJulia70050
Beam-College/season-2022Jupyter NotebookPython360210
Nixtla/statsforecastPythonOther3k02070
inaka/elvis.mkShellMakefile5070
bitcoinops/bitcoinops.github.ioMarkdownJavaScriptGnuplot21501180
Evavic44/portfolio-ideasMarkdownShell2.6k+11419+5
kubesphere/helm-chartsMustacheSmartyRuby9201550
Azure-Samples/azure-sql-db-fullstack-serverless-kickstartC#PLpgSQLVue380940
openiddict/openiddict-samplesPowerShellShellCMake590+3265+1
microsoft/goPowerShellShellGo520420