6 results found Sort:

noir-lang
noir noir-lang
265
1.0k
apache-2.0
18
Noir is a domain specific language for zero knowledge proofs
compiler noir-lang cryptography zero-knowledge programming-language
Created 2020-08-04
5,253 commits to master branch, last one 11 hours ago
colinnielsen
dark-safe colinnielsen
2
58
unknown
4
Like Safe... but secret 🥷🏽
noir zero foundry solidity noir-lang zk-snarks zero-knowledge
Created 2022-10-18
77 commits to main branch, last one 3 months ago
colinnielsen
ecrecover-noir colinnielsen
15
52
mit
3
A Noir circuit that mimics Solidity's ecrecover
noir ethereum solidity ecrecover noir-lang secp256k1 zk-snarks
Created 2023-04-19
79 commits to main branch, last one 4 months ago
shield-labs-xyz
zklogin shield-labs-xyz
3
46
unknown
2
Sign in with Apple/Google on any EVM chain. Self-custodial.
evm zklogin ethereum noir-lang zero-knowledge account-abstraction
Created 2024-10-17
155 commits to main branch, last one about a month ago
lambdaclass
noir_backend_using_gnark lambdaclass
3
35
mit
5
A Noir's backend implementation using Gnark
gnark snarks noir-lang zk-snarks zero-knowledge
Created 2023-01-25
50 commits to main branch, last one 2 years ago
reilabs
lampe reilabs
2
25
unknown
1
Extracting the semantics of Noir to Lean for formal verification
lean4 noir-lang zero-knowledge theorem-proving program-extraction
Created 2024-07-27
62 commits to main branch, last one 4 days ago