Tjaden Hess

Incorrect documentation for `check_point_order_equals_group_order`

2

In the documentation for `check_point_order_equals_group_order`, https://github.com/ZenGo-X/curv/blob/44537a746292be65961e9c38191319c17a3d2977/src/elliptic/curves/traits.rs#L185 should presumably read ``` /// P ≠ 0 ∧ qP = 0 ``` The implementation appears to be correct, so just a simple doc...

Error on Dapple Test

11

## Symptoms ``` $dapple test Testing... :2:1: Warning: Source file does not specify required compiler version! Consider adding "pragma solidity ^0.4.1;". ^ Using local solc installation... /home/tjaden/.npm-packages/lib/node_modules/dapple/node_modules/solc/soljson.js:1 (function (exports, require,...

Lib_MerkleTrie is susceptible to proof forgeries

2

**Describe the bug** A carefully constructed internal MPT node can be interpreted alternatively as a "short" (

* If `P` is order `q` then `qP = 0`. * Mis-copied comment still says G1 instead of G2. Fixes #167

**Describe the bug** After running for about a minute, hybrid-echidna crashes with ``` Traceback (most recent call last): File "/opt/homebrew/lib/python3.10/site-packages/optik/common/world.py", line 343, in run runner = self.contracts[contract_addr] KeyError: 3638658538924045119126437326771845363306064498 The...