Agentic Skill for Paper Review
☆15Feb 4, 2026Updated 5 months ago
Alternatives and similar repositories for paper-review-skill
Users that are interested in paper-review-skill are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- ☆15Oct 9, 2024Updated last year
- rapidsnark is a fast zkSNARK prover written in C++, that generates proofs for circuits created with circom and snarkjs.☆14Apr 8, 2024Updated 2 years ago
- A Python tool to manage and tag your bibliography (.bib and .pdf) files on Dropbox☆14May 1, 2026Updated 2 months ago
- The implementation of Pianist (a distributed variant of Plonk) based on gnark.☆40Sep 7, 2023Updated 2 years ago
- Finite Fields and Curves in Lean☆14Apr 6, 2023Updated 3 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- Proof-of-concept implementation of the papers on scalable collaborative zk-SNARKs (coZK) with applications to private proof delegation.☆59Aug 2, 2025Updated 11 months ago
- Plonk verifier in solidity (using Commit api)☆22Jun 24, 2024Updated 2 years ago
- An O(N\log{N}) time algorithm for computing all N proofs fast in the Pointproofs VC. Also, the O(N\log{N}) time Feist-Khovratovich algori…☆13Dec 3, 2020Updated 5 years ago
- Pastes clipboard image to a file☆14May 23, 2011Updated 15 years ago
- PVSS & Scrape in rust☆11Jul 14, 2026Updated last week
- Reef: A zkSNARK system for proving that a committed document matches a regex☆78Nov 21, 2025Updated 7 months ago
- A Rust library for the preprocessing zkSNARK of Groth and Maller☆13Oct 29, 2024Updated last year
- Code for experiments referenced in the Usenix Security 2017 paper "Strong and Efficient Cache Side-Channel Protection using Hardware Tran…☆14Sep 8, 2022Updated 3 years ago
- SGX-Shield: Enabling Address Space Layout Randomization (ASLR) for SGX Programs☆48Apr 15, 2018Updated 8 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- ☆11Sep 8, 2022Updated 3 years ago
- Data files containing the Cremona Database of all elliptic curves over Q of bounded conductor: see also http://www.lmfdb.org/EllipticCurv…☆23Apr 22, 2026Updated 2 months ago
- Implementation of the Caulk protocol: https://eprint.iacr.org/2022/621.pdf☆12Jun 29, 2022Updated 4 years ago
- A ERC998 Top Down Composable and Enumerable Contract with tests for Solidity ^0.8.0☆10Jan 26, 2022Updated 4 years ago
- ☆14Jun 11, 2020Updated 6 years ago
- Solidity verifier for Plonk☆42Aug 15, 2024Updated last year
- Implementation of the Reusable Enclaves paper☆15Sep 25, 2023Updated 2 years ago
- Designing Secure Cryptography☆22May 20, 2019Updated 7 years ago
- Python script to search for and purchase first available Amazon Whole Foods delivery slot☆20Jun 2, 2021Updated 5 years ago
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- Compiling Noir to R1CS with witness generation and automatic differentiation binaries☆23Updated this week
- ☆10Mar 28, 2023Updated 3 years ago
- An index of some of the open source efforts at Khan Academy☆16Jun 2, 2023Updated 3 years ago
- Educational Version of Lookup Argument☆12Apr 10, 2025Updated last year
- Reimplemented LedgerDB and QLDB☆13Mar 3, 2024Updated 2 years ago
- In public-key cryptography, the Station-to-Station (STS) protocol is a cryptographic key agreement scheme based on classic Diffie–Hellman…☆12Mar 16, 2016Updated 10 years ago
- A rusty implementation of the Caulk+ lookup algorithm.☆12Dec 18, 2022Updated 3 years ago
- A minimal bootstrap scheme for fast boot of serverless microVMs with AMD Secure Encrypted Virtualization (SEV)☆15Feb 7, 2024Updated 2 years ago
- prime+probe code targeting a given physical address on libgcrypt run in an SGX enclave☆15Dec 6, 2018Updated 7 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- Prototype Rust implementation of hash-based signatures. See https://eprint.iacr.org/2025/055.pdf☆56Dec 18, 2025Updated 7 months ago
- ☆17Jun 25, 2017Updated 9 years ago
- Scripts for drawing figures in your paper☆11Jan 8, 2025Updated last year
- ☆12May 30, 2024Updated 2 years ago
- Verifiable Secret Sharing Schemes☆95Jul 8, 2026Updated last week
- A additional Rust compiler pass to detect memory safe bugs of Rust programs.☆18Dec 28, 2023Updated 2 years ago
- Learning ZkSNARKs using libsnark☆12Dec 26, 2018Updated 7 years ago