Certora-quorum

Latest version: v1.1.0

Safety actively analyzes 722491 Python packages for vulnerabilities to keep your Python projects secure.

Scan your dependencies

1.1.0

What's Changed
* Restructure + Support poetry format by nivcertora in https://github.com/Certora/Quorum/pull/73
* Disable AI tests Unless approved by nivcertora in https://github.com/Certora/Quorum/pull/76
* Disable AI tests in CI, only test them on Release by nivcertora in https://github.com/Certora/Quorum/pull/77
* CERT 7972 Skip setup if .env file located by nivcertora in https://github.com/Certora/Quorum/pull/78
* rename Linea chain name by itay-certora in https://github.com/Certora/Quorum/pull/80
* CERT 8061 Add Celo chain support by nivcertora in https://github.com/Certora/Quorum/pull/81
* docs: uv support by PatrickAlphaC in https://github.com/Certora/Quorum/pull/84
* CERT 8126 Support CMC price feed api provider by nivcertora in https://github.com/Certora/Quorum/pull/82
* CERT 8125 Support Multisig Address Check by nivcertora in https://github.com/Certora/Quorum/pull/83
* CERT 8128 Eliminate Case Sensitivity for User Inputs by nivcertora in https://github.com/Certora/Quorum/pull/85
* Handle Not Found Proposal Gracfully by liav-certora in https://github.com/Certora/Quorum/pull/86

New Contributors
* itay-certora made their first contribution in https://github.com/Certora/Quorum/pull/80
* PatrickAlphaC made their first contribution in https://github.com/Certora/Quorum/pull/84

**Full Changelog**: https://github.com/Certora/Quorum/compare/1.0.0...1.1.0

1.0.0

What's Changed
* Address feedback improvments by nivcertora in https://github.com/Certora/Quorum/pull/1
* Add general API manager for all chains + Multi check ability by nivcertora in https://github.com/Certora/Quorum/pull/2
* CERT-6872-Update-repo by nivcertora in https://github.com/Certora/Quorum/pull/3
* Refactor checks design pattern + add global variable check by nivcertora in https://github.com/Certora/Quorum/pull/4
* Add Oracle price feed check by nivcertora in https://github.com/Certora/Quorum/pull/5
* Add deployment CI by nivcertora in https://github.com/Certora/Quorum/pull/6
* Make Customer match less sensitive by nivcertora in https://github.com/Certora/Quorum/pull/7
* CERT-6998 Add ZKSync chain by nivcertora in https://github.com/Certora/Quorum/pull/8
* CERT-7012 Add New Listing Check by nivcertora in https://github.com/Certora/Quorum/pull/9
* Organize Project + Extend blockchain api to trigger smart contract functions. by nivcertora in https://github.com/Certora/Quorum/pull/10
* Modify Readme by nivcertora in https://github.com/Certora/Quorum/pull/11
* Update README.md by yoav-el-certora in https://github.com/Certora/Quorum/pull/12
* CERT 7440 switch parser to avoid error on Address.sol contract by nivcertora in https://github.com/Certora/Quorum/pull/14
* CERT-7403 Fix file matching by nivcertora in https://github.com/Certora/Quorum/pull/15
* CERT 7009 Add Chronicle Price Feed by nivcertora in https://github.com/Certora/Quorum/pull/16
* Creating Review Diff Check Based on Diff Check Implementation by liav-certora in https://github.com/Certora/Quorum/pull/17
* CERT 7649 Allow dynamic price feed providers by nivcertora in https://github.com/Certora/Quorum/pull/20
* Fix deprecated flag by nivcertora in https://github.com/Certora/Quorum/pull/21
* Comparing IPFS With Payload Using LLM by liav-certora in https://github.com/Certora/Quorum/pull/22
* Auto Report Generation by liav-certora in https://github.com/Certora/Quorum/pull/19
* Update setup.py with CreeteReport by liav-certora in https://github.com/Certora/Quorum/pull/25
* Fix CreateReport Setup by liav-certora in https://github.com/Certora/Quorum/pull/26
* Niv liav/cert 7710 lang chain jinja refactor by nivcertora in https://github.com/Certora/Quorum/pull/23
* CERT 7660 Add CoinGecko + Price Feed API Refactor by nivcertora in https://github.com/Certora/Quorum/pull/24
* Fix by nivcertora in https://github.com/Certora/Quorum/pull/27
* . by nivcertora in https://github.com/Certora/Quorum/pull/28
* Full New Listing + first deposit check by nivcertora in https://github.com/Certora/Quorum/pull/29
* CERT 7675 Support single key for explorer by nivcertora in https://github.com/Certora/Quorum/pull/31
* Unit Tests by liav-certora in https://github.com/Certora/Quorum/pull/30
* Fix Scroll bug by nivcertora in https://github.com/Certora/Quorum/pull/32
* fixing typo and formatting of aave jinja template by MichaelMorami in https://github.com/Certora/Quorum/pull/36
* fix CI by liav-certora in https://github.com/Certora/Quorum/pull/41
* CI Fix by liav-certora in https://github.com/Certora/Quorum/pull/42
* Testing Code Owners by liav-certora in https://github.com/Certora/Quorum/pull/33
* Remove default Chronicle to not pissout Aave by nivcertora in https://github.com/Certora/Quorum/pull/40
* Fixing CI by liav-certora in https://github.com/Certora/Quorum/pull/47
* CERT 7892 Handle unverified proposal by nivcertora in https://github.com/Certora/Quorum/pull/44
* test by liav-certora in https://github.com/Certora/Quorum/pull/50
* CERT 7877 Split address validation providers by nivcertora in https://github.com/Certora/Quorum/pull/46
* Fix address filter from comments by nivcertora in https://github.com/Certora/Quorum/pull/43
* CERT-7874 Handle LLM key crash by nivcertora in https://github.com/Certora/Quorum/pull/51
* Change output format for price feed check by nivcertora in https://github.com/Certora/Quorum/pull/52
* Add Linea Chain by nivcertora in https://github.com/Certora/Quorum/pull/53
* Format execution json by nivcertora in https://github.com/Certora/Quorum/pull/55
* Support Multiple Actions on the Same Payload in Report by liav-certora in https://github.com/Certora/Quorum/pull/54
* Add dotenv support by nivcertora in https://github.com/Certora/Quorum/pull/56
* Add Regression Tests for More Chains by liav-certora in https://github.com/Certora/Quorum/pull/58
* Save To Option in Create Report by liav-certora in https://github.com/Certora/Quorum/pull/57
* Add setup for the tool usage by nivcertora in https://github.com/Certora/Quorum/pull/59
* LLM tests + structure outputs by nivcertora in https://github.com/Certora/Quorum/pull/60
* Update the auto report template based on CERT-7834 by liav-certora in https://github.com/Certora/Quorum/pull/62
* Liav/cert 7927 uploading pypi by liav-certora in https://github.com/Certora/Quorum/pull/65
* Add proposal id option by nivcertora in https://github.com/Certora/Quorum/pull/63
* Formating prints according to CERT-7899 by liav-certora in https://github.com/Certora/Quorum/pull/61
* Rename commands by nivcertora in https://github.com/Certora/Quorum/pull/66
* Rename Pypi package by nivcertora in https://github.com/Certora/Quorum/pull/67
* Fix command dep bug by nivcertora in https://github.com/Certora/Quorum/pull/69
* Fix IPFS Validator Print Bug by liav-certora in https://github.com/Certora/Quorum/pull/70
* Add All Commands to CI Regression by nivcertora in https://github.com/Certora/Quorum/pull/71
* Restore CLI cmd and Refactor Quorum configuration management by nivcertora in https://github.com/Certora/Quorum/pull/72
* modifying the help messages by MichaelMorami in https://github.com/Certora/Quorum/pull/68
* Liav/cert 7963 version tags by liav-certora in https://github.com/Certora/Quorum/pull/74

New Contributors
* nivcertora made their first contribution in https://github.com/Certora/Quorum/pull/1
* yoav-el-certora made their first contribution in https://github.com/Certora/Quorum/pull/12
* liav-certora made their first contribution in https://github.com/Certora/Quorum/pull/17
* MichaelMorami made their first contribution in https://github.com/Certora/Quorum/pull/36

**Full Changelog**: https://github.com/Certora/Quorum/commits/1.0.0

Links

Releases

Has known vulnerabilities

© 2025 Safety CLI Cybersecurity Inc. All Rights Reserved.