siddhantsharma301 / arosLinks
An iOS app to allow you to verify a picture was taken on an iPhone via hardware signing and cryptographic proving. Inspired as the reverse of Sora @ TreeHacks 2024!
☆12Updated last year
Alternatives and similar repositories for aros
Users that are interested in aros are comparing it to the libraries listed below
Sorting:
- StealthNote is an application for people in an organization to anonymously broadcast messages.☆46Updated 3 months ago
- Repository for research on Suave.☆25Updated last year
- Anonymous rewards on StarkNet☆35Updated 4 years ago
- ZK Erdos Numbers using recursive SNARKs☆79Updated 3 years ago
- ☆34Updated 2 years ago
- ☆26Updated last month
- Horizontally scalable blockchain using STARK's and partitioned transactional memory☆56Updated 3 years ago
- Leveraging zk for trustlessly selling private keys, signatures and groth16 proofs.☆92Updated 2 years ago
- ☆36Updated 4 years ago
- A tool to work with zkSNARK circuits generated by Circom compiler☆103Updated 3 years ago
- ☆92Updated 2 years ago
- keccak256 hash implementation in Circom☆81Updated 3 years ago
- ☆47Updated 3 years ago
- ☆95Updated last year
- Verify a chain of x509 certificates in halo2☆31Updated last year
- Library of zkSNARKS circuits written in the Circom language.☆50Updated 3 years ago
- Proof-of-concept on how to solve Bitcoin's light node sync problem with zkSNARKs☆58Updated 2 years ago
- A circuit to verify the voice recovery process.☆49Updated 2 years ago
- A convenient way for developers to compile, cache, and execute circom circuits, as well as to generate proofs.☆33Updated 2 years ago
- PoC of Revm execution in SGX☆80Updated last year
- 🔒💬 A protocol for credible commitments.☆75Updated last year
- Cross-zk-rollup aggregation☆60Updated 2 years ago
- Noir implementation of BattleZips circuits☆27Updated 2 years ago
- In-browser ECDSA aggregation using Nova over secp/secq☆35Updated 2 years ago
- ☆46Updated 4 years ago
- examples and utilities of Dstack applications☆18Updated last month
- Notes from the ERC-4337 bundler working group☆21Updated 2 years ago
- Gas-efficient and blazing fast proving for private signaling☆81Updated last year
- Infinitely Compressible Governance using Recursive SNARKs☆31Updated 3 years ago
- Trust-minimized commitment pools with zkSNARKs☆38Updated 2 years ago