socathie / zkMLLinks
Demo application for circomlib-ml
☆10Updated 2 years ago
Alternatives and similar repositories for zkML
Users that are interested in zkML are comparing it to the libraries listed below
Sorting:
- ☆10Updated last year
- ☆10Updated 2 years ago
- ☆10Updated last year
- I'm encoooderrrring☆11Updated 2 years ago
- Solution for the Optimizoor club's sqrt challenge☆10Updated 2 years ago
- ☆10Updated 2 years ago
- ☆10Updated 2 years ago
- Nouns DAO anonymous voting ⌐◨-◨☆9Updated last year
- gas comparisons between vyper and solady☆20Updated 8 months ago
- Better assertion macros for pure Huff tests.☆19Updated last year
- Axiom smart contracts☆26Updated last year
- Groth16 verifier in EVM☆21Updated last year
- ☆35Updated 2 years ago
- An apples-to-oranges comparison of Solady's `FixedPointMathLib.mulDiv` function vs. an equivalent Huffidity version☆27Updated 2 years ago
- Write Zero Knowledge Circuits in Solidity☆13Updated last year
- Template using EIP-3074 - AUTH and AUTHCALL in Solidity☆29Updated last year
- Speedrun this in Huff https://saxenism.com/web3/solidity/language-tricks/bit-magic/intermediate/2022/09/06/Bit-Magic-Solidity.html☆21Updated 2 years ago
- ☆16Updated 2 years ago
- reworks of the ctf☆8Updated 2 years ago
- Then I'll huff and I'll puff and I'll blow your house in☆15Updated 2 years ago
- Certora integration with the Forge testing framework of Foundry☆20Updated 2 years ago
- Curve style voting escrow (ve) Uniswap v4 hook contract☆24Updated last year
- ☆14Updated 2 years ago
- Succinctly prove the fundamental equation of DAI fails to hold using the Certora prover.☆15Updated last year
- A set of tools for use with the huff language.☆21Updated 2 years ago
- ☆28Updated 2 years ago
- WETH Implementation in Vyper + gas comparisons to WETH9 and WETH10☆16Updated last year
- Example setup of Forge tests and CI to do basic checks for storage collisions when iterating on upgradeable contract implementations.☆28Updated 2 years ago
- Smart contract audit / optimization reports generated by solstat.☆14Updated 2 years ago
- Create breakpoints for use with Foundry debugger -- https://book.getfoundry.sh/cheatcodes/breakpoint☆34Updated last year