comp1010mq / comp1000_to_comp1010_transition_workshops
Transition material for students going from COMP1000 (old COMP115) to COMP1010 (old COMP125)
☆25Updated 2 years ago
Alternatives and similar repositories for comp1000_to_comp1010_transition_workshops:
Users that are interested in comp1000_to_comp1010_transition_workshops are comparing it to the libraries listed below
- Notes for Comp202, 2019 Semester 2 offering.☆13Updated 5 years ago
- Polynomial Expression Engine☆34Updated 11 months ago
- An example application of Tevm emulating the cast CLI in the browser☆20Updated 3 months ago
- Batching zero over k checks☆11Updated last year
- polynomial commitments from linear codes☆36Updated last month
- zkSNARK implementation in JavaScript & WASM☆15Updated 2 years ago
- Based on https://eprint.iacr.org/2022/1510☆24Updated 3 months ago
- Proving shortest paths with recursive SNARKs☆12Updated last year
- Some very rough benchmarks between sha256 circuits in different proving systems☆49Updated 2 years ago
- An example of how to build an end-to-end dApp with plonky2x☆22Updated last year
- Public releases for the Valida toolchain☆11Updated 3 weeks ago
- a reference on testing and constraining circom☆17Updated 3 months ago
- PoC of Revm execution in a Nitro Enclave☆29Updated last year
- The best resource you will ever find for getting started with Obsidian, probably☆84Updated 5 months ago
- Production build of Gauss Labs' MP-PSI API using 2PC and FHE☆16Updated 9 months ago
- A puzzle for Curta CTF☆26Updated last year
- ☆26Updated last year
- Behold the almighty 🗿totem🗿☆17Updated 4 months ago
- Early prototype.☆23Updated last year
- Foundry is a blazing fast, portable and modular toolkit for Ethereum application development written in Rust.☆15Updated last year
- Testudo: Spartan + Groth16☆51Updated 11 months ago
- Solidity implementation of Nova proving system verifier☆61Updated 10 months ago
- A monorepo of reusable Noir circuits.☆23Updated 2 weeks ago
- Types of information in the world that are digitally signed, along with projects that use zk proofs over these signatures☆26Updated 11 months ago
- Tool to install Cairo 1.0 with a single command☆15Updated last year
- Potential attacks on groth16☆9Updated 2 years ago
- Paper: Data Representation in Solidity☆59Updated last year
- Infinitely Compressible Governance using Recursive SNARKs☆31Updated 2 years ago
- ☆8Updated last year
- Include halo2 example circuits☆10Updated 2 years ago