prax-wallet / registryView external linksLinks
☆16May 19, 2025Updated 8 months ago
Alternatives and similar repositories for registry
Users that are interested in registry are comparing it to the libraries listed below
Sorting:
- WebGPU MSM Implementation (BLS12-377 Curve) for ZPrize 2023☆14Nov 18, 2024Updated last year
- A TypeScript penumbra SDK☆18Aug 4, 2022Updated 3 years ago
- Source code for all entries from the 2023 ZPrize competition☆25Jan 29, 2026Updated 2 weeks ago
- A pure-Rust implementation of group operations on Ristretto and Curve25519☆29Aug 14, 2024Updated last year
- Challenge Bypass using the Ristretto group☆38Updated this week
- client side proving☆39Mar 12, 2025Updated 11 months ago
- VertusBot App AutoClicker☆10Aug 3, 2024Updated last year
- Cryptographic protocols☆38Apr 19, 2023Updated 2 years ago
- ☆10Feb 3, 2023Updated 3 years ago
- Merkle distributor☆11Nov 19, 2021Updated 4 years ago
- A confidential VM running unmodified container images in AWS Nitro Enclaves☆12Jan 5, 2026Updated last month
- ☆11Oct 21, 2024Updated last year
- A repo for learning how to parallelize computations in the GPU using Apple's Metal, in Rust.☆10Mar 17, 2023Updated 2 years ago
- Extension untuk optimasi aplikasi FMIS☆10Dec 12, 2023Updated 2 years ago
- Auto Claim DON + Participate Adventure DOSI☆15Feb 2, 2023Updated 3 years ago
- Raccoon Signature Scheme -- Reference Code☆12Jul 12, 2023Updated 2 years ago
- The entry point for Rust projects to be run on Valida☆10Mar 14, 2025Updated 11 months ago
- zkLean is a domain specific language (DSL) in Lean for specifying zero-knowledge statements☆19Feb 6, 2026Updated last week
- Optimasi aplikasi https://sipd-ri.kemendagri.go.id☆13Oct 23, 2025Updated 3 months ago
- Celestia derivation pipeline and proof crate built with kona☆15Dec 19, 2025Updated last month
- Simple, filesystem-based caching for Racket☆17Jun 28, 2022Updated 3 years ago
- implentation of Ligerito☆19Nov 9, 2025Updated 3 months ago
- Bot Seed Auto Claim 30 min,1Hour,2Hour,3Hour☆11Jun 23, 2024Updated last year
- Some very rough benchmarks between sha256 circuits in different proving systems☆53Aug 6, 2022Updated 3 years ago
- Designatived verifier Schnorr signatures☆13Nov 4, 2022Updated 3 years ago
- Fuel v2 transaction processing module in Rust.☆14Jan 3, 2023Updated 3 years ago
- ☆12Mar 30, 2023Updated 2 years ago
- ☆11Dec 20, 2023Updated 2 years ago
- Ethereum event tracker☆17Nov 28, 2021Updated 4 years ago
- Using various tools to rediscover popsicle exploit☆15Mar 10, 2022Updated 3 years ago
- ☆17Sep 2, 2024Updated last year
- ☆15Jul 8, 2021Updated 4 years ago
- Web app for visualization the state of the Penumbra DEX☆12Apr 10, 2025Updated 10 months ago
- Smart contracts for Mind network, enabling users to restake their LRT/LST tokens☆14Jul 15, 2024Updated last year
- This repo contains basic Ocaml code examples.☆13Oct 5, 2016Updated 9 years ago
- PPAY Token (ERC-20) source code. Plasma.Finance is a DeFi infrastructure and liquidity aggregation system.☆16Dec 8, 2020Updated 5 years ago
- Collections Library for Adapton, in Rust☆13Sep 1, 2017Updated 8 years ago
- Library containing the definition of S-expressions and some base converters☆20Jan 15, 2026Updated 3 weeks ago
- A proof assistant.☆12Feb 19, 2016Updated 9 years ago