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:
- Proof-of-concept on how to solve Bitcoin's light node sync problem with zkSNARKs☆60Updated 2 years ago
- ZK Erdos Numbers using recursive SNARKs☆79Updated 3 years ago
- ☆36Updated 4 years ago
- Lowering client-side proving cost for private ZK signatures in circom☆112Updated 2 years ago
- Kate commitment based PLONK recursive aggregation circuit☆42Updated 2 years ago
- Cross-zk-rollup aggregation☆61Updated 2 years ago
- Trust-minimized commitment pools with zkSNARKs☆38Updated 2 years ago
- 🔒💬 A protocol for credible commitments.☆75Updated 2 years ago
- Repository for research on Suave.☆24Updated 2 years ago
- Implementation of zero-knowledge proof circuits for Blobstream, Celestia's data availability solution for Ethereum.☆61Updated last year
- Noir implementation of BattleZips circuits☆28Updated 2 years ago
- ☆26Updated 3 months ago
- A circuit to verify the voice recovery process.☆51Updated 2 years ago
- ☆47Updated 2 years ago
- Verify a chain of x509 certificates in halo2☆31Updated 2 years ago
- ☆93Updated 2 years ago
- Horizontally scalable blockchain using STARK's and partitioned transactional memory☆56Updated 3 years ago
- PoC of Revm execution in SGX☆79Updated 2 years ago
- Anonymous rewards on StarkNet☆35Updated 4 years ago
- Leveraging zk for trustlessly selling private keys, signatures and groth16 proofs.☆93Updated 2 years ago
- A tool to work with zkSNARK circuits generated by Circom compiler☆103Updated 4 years ago
- StealthNote is an application for people in an organization to anonymously broadcast messages.☆50Updated 7 months ago
- Gas-efficient and blazing fast proving for private signaling☆81Updated last year
- ☆34Updated 2 years ago
- ☆44Updated last year
- Email verification circuit in halo2☆68Updated last year
- ☆133Updated 3 years ago
- Core SDK elements for Axiom, the ZK Coprocessor for Ethereum.☆35Updated last year
- Client library for generating and using RLN ZK proofs☆32Updated 2 years ago
- Monorepo for Summa Proof of Solvency Protocol☆99Updated last year