r4bbit 688a8ed929 Set up certora and implement first rules (#122) ... Co-authored-by: 0xb337r007 <0xe4e5@proton.me> Co-authored-by: Adam Uhlíř <adam@uhlir.dev>		2024-07-24 18:50:18 +02:00
..
Configuration.sol	feat: zkey hash in marketplace config (#81)	2024-01-30 06:36:27 +01:00
Endian.sol	Update solidity to 0.8.23	2024-01-25 13:08:10 +01:00
FuzzMarketplace.sol	Set up certora and implement first rules (#122)	2024-07-24 18:50:18 +02:00
Groth16.sol	uint -> uint256	2024-03-13 15:25:59 +01:00
Groth16Verifier.sol	Provide all gas to precompiles	2024-03-13 15:25:59 +01:00
Marketplace.sol	feat: expiry specified as duration (#99)	2024-05-06 15:13:32 +02:00
Periods.sol	Update solidity to 0.8.23	2024-01-25 13:08:10 +01:00
Proofs.sol	Refactor verifier contract: remove unnecessary conversions	2024-01-25 13:08:10 +01:00
Requests.sol	feat: expiry specified as duration (#99)	2024-05-06 15:13:32 +02:00
StateRetrieval.sol	Update solidity to 0.8.23	2024-01-25 13:08:10 +01:00
TestEndian.sol	Set up certora and implement first rules (#122)	2024-07-24 18:50:18 +02:00
TestMarketplace.sol	Set up certora and implement first rules (#122)	2024-07-24 18:50:18 +02:00
TestProofs.sol	Set up certora and implement first rules (#122)	2024-07-24 18:50:18 +02:00
TestToken.sol	Set up certora and implement first rules (#122)	2024-07-24 18:50:18 +02:00
TestVerifier.sol	Represent elements from field F_{p^2} as `real + i * imag`	2024-02-21 10:42:41 +01:00