{"payload":{"pageCount":2,"repositories":[{"type":"Public","name":"circom","owner":"Veridise","isFork":true,"description":"zkSnark circuit compiler","allTopics":[],"primaryLanguage":{"name":"Rust","color":"#dea584"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":244,"license":"GNU General Public License v3.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-08-12T20:03:02.389Z"}},{"type":"Public","name":"gnark","owner":"Veridise","isFork":true,"description":"gnark is a fast zk-SNARK library that offers a high-level API to design circuits. The library is open source and developed under the Apache 2.0 license","allTopics":[],"primaryLanguage":{"name":"Go","color":"#00ADD8"},"pullRequestCount":0,"issueCount":0,"starsCount":1,"forksCount":357,"license":"Apache License 2.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-07-25T20:19:43.700Z"}},{"type":"Public","name":"soroban_stale_dep","owner":"Veridise","isFork":false,"description":"Soroban stale dependency issue","allTopics":[],"primaryLanguage":{"name":"Rust","color":"#dea584"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-05-16T13:46:59.337Z"}},{"type":"Public","name":"vanguard-aleo","owner":"Veridise","isFork":false,"description":"Static analysis toolkit for security analysis in Aleo programs","allTopics":[],"primaryLanguage":{"name":"Python","color":"#3572A5"},"pullRequestCount":0,"issueCount":0,"starsCount":6,"forksCount":6,"license":"GNU General Public License v3.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-03-29T17:47:44.217Z"}},{"type":"Public","name":"Picus","owner":"Veridise","isFork":true,"description":"Automated verification of uniqueness property for ZKP circuits","allTopics":["security","blockchain","verification","zero-knowledge","circom","circomlib"],"primaryLanguage":{"name":"Circom","color":"#707575"},"pullRequestCount":1,"issueCount":0,"starsCount":63,"forksCount":10,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-03-13T22:04:04.060Z"}},{"type":"Public","name":"picus_gnark","owner":"Veridise","isFork":false,"description":"Utilities to extract Picus constraints from gnark","allTopics":[],"primaryLanguage":{"name":"Go","color":"#00ADD8"},"pullRequestCount":0,"issueCount":0,"starsCount":1,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-03-13T21:43:42.367Z"}},{"type":"Public","name":"aleo2json","owner":"Veridise","isFork":true,"description":"A Virtual Machine for Zero-Knowledge Executions","allTopics":[],"primaryLanguage":{"name":"Rust","color":"#dea584"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":1481,"license":"Apache License 2.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-01-31T08:29:12.933Z"}},{"type":"Public","name":"proof-of-liability","owner":"Veridise","isFork":false,"description":"","allTopics":[],"primaryLanguage":{"name":"TypeScript","color":"#3178c6"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":"Apache License 2.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2023-11-29T03:06:56.590Z"}},{"type":"Public","name":"zk-secureum-workshop-23-quiz-sources","owner":"Veridise","isFork":false,"description":"","allTopics":[],"primaryLanguage":{"name":"Solidity","color":"#AA6746"},"pullRequestCount":0,"issueCount":0,"starsCount":3,"forksCount":1,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2023-11-03T13:01:15.131Z"}},{"type":"Public","name":"Coda","owner":"Veridise","isFork":false,"description":"","allTopics":[],"primaryLanguage":{"name":"Coq","color":"#d0b68c"},"pullRequestCount":0,"issueCount":1,"starsCount":43,"forksCount":5,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2023-08-31T14:34:31.933Z"}},{"type":"Public","name":"pip-cairo-lang","owner":"Veridise","isFork":true,"description":"Cairo Pip Package with Symbolic Support","allTopics":[],"primaryLanguage":{"name":"Python","color":"#3572A5"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":1,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2023-08-17T17:51:47.165Z"}},{"type":"Public","name":".github","owner":"Veridise","isFork":false,"description":"","allTopics":[],"primaryLanguage":null,"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2023-07-25T04:48:55.938Z"}},{"type":"Public","name":"rust","owner":"Veridise","isFork":true,"description":"Empowering everyone to build reliable and efficient software.","allTopics":[],"primaryLanguage":{"name":"Rust","color":"#dea584"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":12475,"license":"Other","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2023-06-07T16:46:17.856Z"}},{"type":"Public","name":"InkPreprocessor","owner":"Veridise","isFork":false,"description":"","allTopics":[],"primaryLanguage":{"name":"LLVM","color":"#185619"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":"GNU General Public License v3.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2023-05-15T08:26:14.147Z"}},{"type":"Public","name":"zkinterface","owner":"Veridise","isFork":true,"description":"zkInterface is a protocol for the interoperability of zero-knowledge frameworks.","allTopics":[],"primaryLanguage":{"name":"C++","color":"#f34b7d"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":27,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2023-04-11T19:44:36.490Z"}},{"type":"Public","name":"near_audits","owner":"Veridise","isFork":true,"description":"Public Audits in the NEAR Ecosystem","allTopics":[],"primaryLanguage":null,"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":8,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2023-04-07T01:17:46.616Z"}},{"type":"Public","name":"inkwell","owner":"Veridise","isFork":true,"description":"It's a New Kind of Wrapper for Exposing LLVM (Safely)","allTopics":[],"primaryLanguage":{"name":"Rust","color":"#dea584"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":218,"license":"Apache License 2.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2023-03-06T16:17:03.773Z"}},{"type":"Public","name":"circom2llvm","owner":"Veridise","isFork":false,"description":"Compile circom code to llvm partially","allTopics":[],"primaryLanguage":{"name":"Rust","color":"#dea584"},"pullRequestCount":1,"issueCount":0,"starsCount":8,"forksCount":1,"license":"Apache License 2.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2023-02-14T16:13:10.908Z"}},{"type":"Public","name":"V","owner":"Veridise","isFork":false,"description":"Specifies the semantics of the [V] specification language and provides tooling for the [V] specification language.","allTopics":[],"primaryLanguage":{"name":"C++","color":"#f34b7d"},"pullRequestCount":2,"issueCount":0,"starsCount":4,"forksCount":0,"license":"GNU General Public License v3.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2022-12-09T13:18:24.819Z"}},{"type":"Public","name":"zkevm-circuits","owner":"Veridise","isFork":true,"description":"","allTopics":[],"primaryLanguage":{"name":"Rust","color":"#dea584"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":851,"license":"Other","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2022-11-14T09:55:44.799Z"}},{"type":"Public","name":"fluffy-zkevm-fuzzer","owner":"Veridise","isFork":false,"description":"Fuzzing zkEVM using the Fluffy fuzzer","allTopics":[],"primaryLanguage":{"name":"C++","color":"#f34b7d"},"pullRequestCount":0,"issueCount":0,"starsCount":4,"forksCount":2,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2022-10-14T11:29:47.933Z"}},{"type":"Public","name":"openethereum","owner":"Veridise","isFork":true,"description":"(deprecated) The fast, light, and robust client for the Ethereum mainnet. ","allTopics":[],"primaryLanguage":{"name":"Rust","color":"#dea584"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":355,"license":"GNU General Public License v3.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2022-10-14T10:24:52.225Z"}},{"type":"Public","name":"VInstrumenter","owner":"Veridise","isFork":false,"description":"","allTopics":[],"primaryLanguage":{"name":"C++","color":"#f34b7d"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2022-10-06T13:31:03.296Z"}},{"type":"Public","name":"Medjai","owner":"Veridise","isFork":true,"description":"A Symbolic Execution Tool for Cairo","allTopics":["security","racket","ethereum","verification","synthesis","rosette","zero-knowledge","defi","starkware","cairo-lang","starknet","symbolic-compilation"],"primaryLanguage":{"name":"Racket","color":"#3c5caa"},"pullRequestCount":0,"issueCount":0,"starsCount":48,"forksCount":2,"license":"GNU General Public License v3.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2022-09-13T00:06:05.349Z"}},{"type":"Public","name":"lib-symexec","owner":"Veridise","isFork":false,"description":"Library for common symbolic execution utilities","allTopics":[],"primaryLanguage":{"name":"Racket","color":"#3c5caa"},"pullRequestCount":0,"issueCount":1,"starsCount":3,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2022-08-31T00:07:01.515Z"}},{"type":"Public","name":"Eurus","owner":"Veridise","isFork":false,"description":"Precise Attack Synthesis for DeFi Apps","allTopics":["security","ethereum","smart-contracts","verification","solidity","synthesis","yul","defi","symbolic-compilation"],"primaryLanguage":{"name":"Racket","color":"#3c5caa"},"pullRequestCount":0,"issueCount":0,"starsCount":46,"forksCount":3,"license":"GNU General Public License v3.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2022-08-15T01:46:57.926Z"}},{"type":"Public archive","name":"libBlockchain","owner":"Veridise","isFork":false,"description":"Provides information about blockchains to the other analyses","allTopics":[],"primaryLanguage":{"name":"C++","color":"#f34b7d"},"pullRequestCount":0,"issueCount":0,"starsCount":5,"forksCount":2,"license":"GNU General Public License v3.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2022-07-20T16:54:32.897Z"}},{"type":"Public","name":"Grants-Program","owner":"Veridise","isFork":true,"description":"Web3 Foundation Grants Program","allTopics":[],"primaryLanguage":null,"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":2026,"license":"Apache License 2.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2022-03-24T07:16:35.128Z"}},{"type":"Public","name":"SolType","owner":"Veridise","isFork":true,"description":"Source code of Solid, the prototype type inference tool developed for the SolType paper at POPL'22","allTopics":[],"primaryLanguage":{"name":"Haskell","color":"#5e5086"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":1,"license":"BSD 3-Clause \"New\" or \"Revised\" License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2022-01-26T17:59:08.086Z"}},{"type":"Public","name":"awesome-decentralized-finance","owner":"Veridise","isFork":true,"description":"A curated list of awesome decentralized finance projects","allTopics":[],"primaryLanguage":null,"pullRequestCount":0,"issueCount":0,"starsCount":1,"forksCount":285,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2021-06-20T16:44:24.039Z"}}],"repositoryCount":31,"userInfo":null,"searchable":true,"definitions":[],"typeFilters":[{"id":"all","text":"All"},{"id":"public","text":"Public"},{"id":"source","text":"Sources"},{"id":"fork","text":"Forks"},{"id":"archived","text":"Archived"},{"id":"template","text":"Templates"}],"compactMode":false},"title":"Veridise repositories"}