willishell / Exercise
用于提交作业或者实验
☆2Updated 4 years ago
Related projects ⓘ
Alternatives and complementary repositories for Exercise
- Include halo2 example circuits☆83Updated last year
- My notes related to Cryptography & Zero-Knowledge.☆40Updated 8 months ago
- MoonMath Manual notes, exercise solution and extra comments.☆25Updated 4 months ago
- halo2-step-by-step☆24Updated 11 months ago
- ☆65Updated this week
- Zk proving the correct execution of encryption operation under BFV Fully Homomorphic Encryption scheme☆110Updated 7 months ago
- All of Aztec's workshops, resources, tutorials, ideas, and useful tools☆46Updated last week
- zkp-co-learning☆57Updated last year
- A monorepo of reusable Circom circuits.☆21Updated 3 months ago
- Hammster Next.js and Halo2 web app.☆14Updated last year
- Simplified educational python plonk implementation☆36Updated last month
- Cairo1 execution in Cairo0 environment☆11Updated 3 months ago
- A collection of all the project ideas involving zk, blockchains & what not☆24Updated last year
- Accelerate Early Stage Programmable Cryptography Talents☆98Updated last month
- ☆69Updated 2 months ago
- ☆23Updated last year
- Deoxys 👽 is a Starknet full node based on substrate and powered by Rust 🦀☆27Updated 8 months ago
- ☆85Updated 3 months ago
- barretenburg in rust (here we go)☆97Updated 10 months ago
- The Slush SDK allows you to spin up L3s on Starknet☆67Updated last year
- Circom interpreter to arithmetic circuit description☆50Updated 2 months ago
- ☆11Updated last year
- Tooling for creating collaborative SNARKs for Circom circuits.☆97Updated this week
- ☆32Updated 2 months ago
- Yet Another Bridge with Grind Labs and Herodotus☆20Updated 10 months ago
- This open collaboration project aims to explore and document the various technology stacks associated with Starknet.☆10Updated 8 months ago
- Core SDK elements for Axiom, the ZK Coprocessor for Ethereum.☆36Updated 6 months ago
- Export Circom verifier to Cairo☆49Updated 2 years ago
- Verifiable FHE with GKR☆25Updated last month
- cairo-vm_in_go is a Go implementation of the Cairo VM. Cairo (CPU Algebraic Intermediate Representation) is a programming language for wr…☆56Updated 6 months ago