I like to learn new things
☆10Updated this week
Alternatives and similar repositories for learning_systems_and_security
Users that are interested in learning_systems_and_security are comparing it to the libraries listed below
Sorting:
- ☆22May 18, 2022Updated 3 years ago
- Coded Merkle Tree☆26Aug 6, 2019Updated 6 years ago
- DRAT proof processor☆16Apr 8, 2023Updated 2 years ago
- Implementation of the Caulk protocol: https://eprint.iacr.org/2022/621.pdf☆12Jun 29, 2022Updated 3 years ago
- Single owner authorization with zk-based two-factor-authorization.☆18Oct 6, 2022Updated 3 years ago
- A tiny nearest-neighbor embedding database written in C☆19Feb 18, 2026Updated last week
- A naive bloom filter implementation in Cairo☆37May 28, 2022Updated 3 years ago
- Today I Learned And Practiced☆15Jun 20, 2017Updated 8 years ago
- Intel assembly finite field library generator☆13Nov 23, 2023Updated 2 years ago
- ZK proofs for Brainfuck execution using powdr☆17Aug 28, 2024Updated last year
- An API compatible port of the Stone prover.☆19Nov 4, 2024Updated last year
- ☆16Mar 16, 2021Updated 4 years ago
- An Ethereum-compatible blockchain with a giant capacity for storage☆21Jul 1, 2022Updated 3 years ago
- Prompt for GPT-4 to migrate Cairo 0 to Cairo 1☆23May 4, 2023Updated 2 years ago
- Implementing the Ethereum Virtual Machine from scratch & documenting the process☆24Nov 20, 2022Updated 3 years ago
- EraVM implementation☆19Sep 5, 2024Updated last year
- A simple RISC-V runtime.☆33Sep 12, 2025Updated 5 months ago
- ☆21Sep 27, 2023Updated 2 years ago
- ☆43Oct 26, 2024Updated last year
- You Need A Transaction Manager (for Ethereum)☆22Jan 24, 2023Updated 3 years ago
- EVM frontrunning tool☆18Jul 12, 2021Updated 4 years ago
- Benchmarking Polynomial Commitments☆51Jul 3, 2023Updated 2 years ago
- A toy L4 load balancer running on FPGA☆20Feb 28, 2022Updated 3 years ago
- Huff development plugin for Vim☆26Dec 31, 2022Updated 3 years ago
- Fawkes-Crypto - zkSNARKs framework☆22Feb 6, 2024Updated 2 years ago
- List of available reputation systems and aggregation algorithms☆22Feb 23, 2018Updated 8 years ago
- ☆23Sep 13, 2024Updated last year
- A Symbolic Execution Tool for Cairo☆52Sep 13, 2022Updated 3 years ago
- Interaction Controllers for Sentiment☆28Jul 5, 2023Updated 2 years ago
- Ray tracing on the Ethereum Virtual Machine☆105Feb 14, 2018Updated 8 years ago
- Tendermint in Solidity☆61Mar 2, 2022Updated 3 years ago
- Macros + Primitives for PADE format☆29Jul 26, 2025Updated 7 months ago
- core libs and utilities☆38Feb 18, 2026Updated last week
- YAS is Yet Another Swap on Starknet but bringing the best prices and yield to Degens.☆53Jan 5, 2024Updated 2 years ago
- Code for the dapp.tools website☆26Aug 25, 2021Updated 4 years ago
- Lightweight Ethereum client☆22Feb 3, 2026Updated 3 weeks ago
- ☆113Feb 6, 2024Updated 2 years ago
- A simple and efficient wrapper around the OpenAI API☆29Aug 5, 2024Updated last year
- EigenTrust - A distributed reputation system☆117Nov 23, 2023Updated 2 years ago