Ernesto García

Results 51 issues of Ernesto García

From @fvictorio: > I forgot to mention: > > - The wrong `async` keywords in describe functions can be prevented with [this rule](https://github.com/lo1tuma/eslint-plugin-mocha/blob/main/docs/rules/no-async-describe.md). > - The missing `await` keywords are...

tests

**📝 Details** Following #4692, we can implement the WebAuthn standard in Solidity. It requires more research as more primitives may come up from here (e.g. ASN1 parser), but would enable...

When writing the docs on an interface that is eventually implemented by a contract and using `@inheritdoc` for NatSpec, the references to events seem to be broken, as in the...

Long names used in the contracts library can cause issues with the way the elements are distributed in the UI. Some examples are:

Both Hedera and ZKSync have different address derivation rules. They come with special SDKs to abstract those new rules, but in the process, every deployment tooling is broken (like this...

## Description While researching patterns of access management, the solutions team identified a pattern of a contract that can dynamically create roles for functions in contracts, this means: - There...

So far we've been maintaining our Formal Verification workflows with Certora. Though, Halmos has got lots of improvements lately. This PR is to test it out in our current fuzz...

ignore-changeset

Replaces #4957 and #5019 #### PR Checklist - [ ] Tests - [ ] Documentation - [ ] Changeset entry (run `npx changeset add`)

ignore-changeset
formal-verification

This PR adds the ability to extend the AccessManager and use the `onlyAuthorized` modifer for those functions as well. #### PR Checklist - [ ] Tests - [ ] Documentation...

Updates the documentation site with #5004 changes